Options
Weiß, Gereon
Resumption of runtime verification monitors: Method, approach and application
Towards runtime adaptation in AUTOSAR
Software implementieren und absichern
Bessere Softwaremodelle mit einem Richtlinien-Katalog
Ausfallsichere E/E-Architektur für hochautomatisierte Fahrfunktionen
Modellbasierte Erkennung von Fehlverhalten