Options
Weiß, Gereon
Generic management of availability in fail-operational automotive systems
Reducing the verification effort for interfaces of automotive infotainment software
Interface verification using executable reference models: An application in the automotive infotainment