Drechsler, Rolf (Hrsg.)
Kühne, Ulrich (Hrsg.)
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
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-658-09994-7 |
|---|---|
| Seitenzahl | 313 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 6112 Kbytes |