Spara
Formal Modeling and Verification of Cyber-Physical Systems
häftad, 2015
Engelska
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany.
- Undertitel
- 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
- Redaktör
- Rolf Drechsler, Ulrich Kühne
- Upplaga
- 2015 ed.
- ISBN
- 9783658099930
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2015-06-25
- Förlag
- Springer
- Sidor
- 313
