Home > Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures > From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT
Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures |
Springer International Publishing
From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT
Chapter Info
Authors
ARI Id
1665267475978_5638815
Access
Not Available Free
Pages
10-43
DOI
Chapter URL
Table of Contents of Book
Showing 1 to 7 of 7 entries
Chapters/Headings | Author(s) | Pages | Info |
i-xvii | |||
1-9 | |||
10-43 | |||
44-121 | |||
122-158 | |||
159-219 | |||
221-221 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 7 of 7 entries
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...
Similar News
Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...