Verifying Cyber-Physical Systems

A Path To Safe Autonomy

by Sayan Mitra
language: english
Publisher: MIT PRESS LTD, February of 2021 ‧
73,39€
51,37€
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
"A unified mathematical framework for rigorously modeling and analyzing cyber-physical systems"--

Verifying Cyber-Physical Systems

A Path To Safe Autonomy

by Sayan Mitra

Property Description
ISBN: 9780262044806
Publisher: MIT PRESS LTD
Release Date: February of 2021
Language: English
Dimensions: 178 x 229 x 20 mm
Cover: Hardcover
Pages: 304
Format: Book
Collection: Cyber Physical Systems Series
Categories: Books in English > Computing > Other Applications
Books in English > Others
EAN: 9780262044806

BOOKS FROM THE SAME COLLECTION