Formal Verification of Service-Oriented Adaptive Driver Assistance Systems
SIGBED Review. Bd. 10. H. 4. New York, NY: ACM Association for Computing Machinery 2013 S. APRES
Erscheinungsjahr: 2013
ISBN/ISSN: 1551-3688
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1145/2583687.2583699
| Geprüft | Bibliothek |
Autoren
Schwarz, Christian (Autor)
Zöbel, Dieter (Autor)
Wagner, Marco (Autor)
