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
Authors: Drechsler, Rolf; Kühne, Ulrich
Get this book Contact Email: girro@qq.com
Publisher: Springer Fachmedien Wiesbaden(2015/6/5)
Language: English
ISBN-10: 3658099933
ISBN-13: 9783658099930
e-ISBN-10: 3658099941
e-ISBN-13: 9783658099947

未经允许不得转载：Wow! eBook » 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