Options
Weiß, Gereon
Resumption of runtime verification monitors: Method, approach and application
Verlässliche Adaptive Software-Architekturen im Auto: Von Fail-Silent zu Fail-Operational
Neue Konzepte für zukünftige E/E-Architekturen
Modellbasierte Absicherung von GENIVI-Schnittstellen
Verification of network end-to-end latencies for adaptive ethernet-based cyber-physical systems
Ausfallsicherheit mit AUTOSAR: Ressourcen neu verteilen
Planetares Zusammenspiel
Software implementieren und absichern
Ausfallsichere E/E-Architektur für hochautomatisierte Fahrfunktionen
Memory concepts for enabling adaptivity in distributed embedded systems