Options
Weiß, Gereon
Planetares Zusammenspiel
Verifying & validating non-functional properties of automotive software architectures in early design stages
Modellbasierte Erkennung von Fehlverhalten
Towards runtime adaptation in AUTOSAR
Towards runtime adaptation in AUTOSAR
A multi-layered control architecture for self-management in adaptive automotive systems
Modellbasierte Absicherung von GENIVI-Schnittstellen
ERNEST - framework for the early verification and validation of networked embedded systems