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

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

by: Drechsler, Rolf; Kühne, Ulrich

Publisher: Springer Fachmedien Wiesbaden(2015/6/5)

Language: English

ISBN-10: 3658099933

ISBN-13: 9783658099930

e-ISBN-10: 3658099941

e-ISBN-13: 9783658099947