Spar
Formal Modeling and Verification of Cyber-Physical Systems
heftet, 2015
Engelsk
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.
- Undertittel
- 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
- Opplag
- 2015 ed.
- ISBN
- 9783658099930
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 25.6.2015
- Forlag
- Springer
- Antall sider
- 313
