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. in Springer Fachmedien Wiesbaden GmbH
Published: 2015
Language: eng
ISBN-13: 9783658099947