Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment
2013-11-27
Article (Journal)
Electronic Resource
English
ddc:000 , Informatik , Systeme , Wissen
DDC: | 000 |
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
|