Options
Weiß, Gereon
Generic management of availability in fail-operational automotive systems
Interface verification using executable reference models: An application in the automotive infotainment
Reducing the verification effort for interfaces of automotive infotainment software
Context modeling for dynamic configuration of automotive functions
Challenges of a safe adaptation architecture for vehicles
Modellbasierte Validierung von Infotainment-Funktionen im Auto