Verifying Cyber-Physical Systemsthe_mit_press978-02-6204-480-697802620448062021-02-16English (United States)312HardcoverBook profileEnglish (United States)
Book · 1 edition
Verifying Cyber-Physical Systems
- 2021
- first published
- English
- language
- 1
- edition in English
- 312
- pages
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...
Editions
1 edition · sort: newestVerifying Cyber-Physical Systemsthe_mit_press978-02-6204-480-697802620448062021-02-16English (United States)312Hardcover