Options
Weiß, Gereon
Verifying & validating non-functional properties of automotive software architectures in early design stages
Towards efficient on-line schedulability tests for adaptive networked embedded real-time systems
ERNEST - framework for the early verification and validation of networked embedded systems
Approach for iterative validation of automotive embedded systems
Interface verification using executable reference models: An application in the automotive infotainment
A multi-layered control architecture for self-management in adaptive automotive systems