Optimized hybrid verification of embedded software

DSpace Repositorium (Manakin basiert)

Optimized hybrid verification of embedded software

Autor(en): Behrend, Jörg
Tübinger Autor(en):
Behrend, Jörg
Sonstige Beteiligte: Eberhard Karls Universität Tübingen
Erscheinungsjahr: 2017
Verlagsangabe: Tübingen
Sprache: Englisch
Dokumentart: Dissertation
Seitenzahl: xvii, 111 Seiten : Illustrationen
Verbund-Nachweis: 494196823
Kommentar: Dissertation, Eberhard Karls Universität Tübingen, 2017
Zur Langanzeige

Das Dokument erscheint in: