Verifying Cyber-Physical Systems
Subtitle: A Path to Safe Autonomy
Publisher: MIT Press
Published: 2021
Language: eng
Number of pages: 304
ISBN-13: 9780262044806