Options
Weiß, Gereon
Generic management of availability in fail-operational automotive systems
Context modeling for dynamic configuration of automotive functions
Verifying & validating non-functional properties of automotive software architectures in early design stages
A multi-layered control architecture for self-management in adaptive automotive systems
Interface verification using executable reference models: An application in the automotive infotainment