Options
Weiß, Gereon
SafeAdapt - safe adaptive software for fully electric vehicles
Modellbasierte Validierung von Infotainment-Funktionen im Auto
Interface verification using executable reference models: An application in the automotive infotainment
Approach for iterative validation of automotive embedded systems
Towards efficient on-line schedulability tests for adaptive networked embedded real-time systems