Treffer: A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
Beteiligt:
Veröffentlicht:
[Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2013
Vertrieb:
The Hague : OAPEN FOUNDATION
Umfang:
1 Online-Ressource (X, 168 p. p.)
Publikationstyp:
Sprache:
Englisch
Schlagworte:
ISBN:
9783731501695
Open Access Rechte:
Open Access