Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment
27.11.2013
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
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
|