Treffer: Formal modeling and verification of cyber-physical systems
Titel:
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 / Rolf Drechsler ... eds.
Verantwortlich:
Körperschaft:
Veröffentlicht:
Wiesbaden : Springer Vieweg, 2015
Umfang:
X, 313 Seiten : Illustrationen, Diagramme
Publikationstyp:
Sprache:
Englisch
RVK-Notation:
Schlagworte:
ISBN:
3658099933 ; 3658099941 ; 9783658099930