Related Books
Language: en
Pages: 637
Pages: 637
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 637
Pages: 637
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 1556
Pages: 1556
Type: BOOK - Published: 1992 - Publisher:
Language: en
Pages: 313
Pages: 313
Type: BOOK - Published: 2021-07-13 - Publisher: MIT Press
A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.
Language: en
Pages: 542
Pages: 542
Type: BOOK - Published: 1986 - Publisher: