Interface verification using executable reference models: An application in the automotive infotainment
2013
Miscellaneous
Electronic Resource
Unknown
BASE | 2013
|Model-based validation of automotive infotainment functions using reference models
Fraunhofer Publica | 2012
|Reducing the Verification Effort for Interfaces of Automotive Infotainment Software
British Library Conference Proceedings | 2015
|