Formal Modeling and Verification of Cyber-Physical Systems
Subtitle: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Publisher: Springer Vieweg
Published: Jun 06, 2015
Format: paperback
Number of pages: 328
ISBN-13: 9783658099930
Notes: Source title: 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