Results

Book cover

Formal Modeling and Verification of Cyber-Physical Systems

1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

© 2015

Soft cover - Print (ISBN: 978-3-658-09993-0)

Electronic (ISBN: 978-3-658-09994-7)

View this book on SpringerLink

Download Product Archive File - 978-3-658-09994-7 Download product archive files for 978-3-658-09994-7