Verifying Cyber-Physical Systems
A Path to Safe Autonomy
Published on 16. February 2021
Book
Hardback
304 pages
978-0-262-04480-6 (ISBN)
More details
Series
Language
English
Place of publication
Cambridge (Massachusetts)
United States
Publishing group
MIT Press Ltd
Illustrations
80 black and white illustrations
Dimensions
Height: 229 mm
Width: 178 mm
ISBN-13
978-0-262-04480-6 (9780262044806)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
E-Book
07/2021
MIT Press
€58.99
Available for download