Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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
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
Authors

ARI Id

1665267475978_5638815

Access

Not Available Free

Pages

10-43

DOI

10.1007/978-3-030-55089-9_2

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-55089-9_2

Loading...
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...

Similar News

Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...