Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment

Christian, Drabek; Thomas, Pramsohler; Marc, Zeller, Gereon, Weiss

Title:: Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment
Document type:: Konferenzbeitrag
Author(s):: Christian, Drabek; Thomas, Pramsohler; Marc, Zeller, Gereon, Weiss
Dewey Decimal Classification:: 000 Informatik, Wissen, Systeme
Book / Congress title:: Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems
Congress (additional information):: co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013)
Year:: 2013
Month:: Nov
Reviewed:: ja
Language:: en
WWW:: http://ceur-ws.org/Vol-1084/paper7.pdf
BibTeX