Options
Weiß, Gereon
Resumption of runtime verification monitors: Method, approach and application
Modellbasierte Absicherung von GENIVI-Schnittstellen
Ausfallsichere E/E-Architektur für hochautomatisierte Fahrfunktionen
Bessere Softwaremodelle mit einem Richtlinien-Katalog
Ausfallsicherheit mit AUTOSAR: Ressourcen neu verteilen