1 / 1
- 2021
- year of publication
- 312
- pages
- English (United States)
- language
- Hardcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6204-480-6
- EAN
- 9780262044806
- Publication date
- 2021-02-16
- Book
- Verifying Cyber-Physical Systems · 1 edition
The publisher on this edition
A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. Verification aims to establish whether...