Tallenna
Formal Modeling and Verification of Cyber-Physical Systems
nidottu, 2015
englanti
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.
- Alaotsikko
- 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
- Toimittaja
- Rolf Drechsler, Ulrich Kühne
- Painos
- 2015 ed.
- ISBN
- 9783658099930
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 25.6.2015
- Kustantaja
- Springer
- Sivumäärä
- 313
