Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Formal verification of service-oriented adaptive driver assistance systems.

SIGBED Review. Bd. 10. H. 4. 2013 S. 49 - 52

Erscheinungsjahr: 2013

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Schwarz, Christian (Autor)
Zöbel, Dieter (Autor)
Wagner, Marco (Autor)

Verknüpfte Personen

Dieter Zöbel

Beteiligte Einrichtungen

Logo Institut für Informatik