User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Christian, Drabek; Thomas, Pramsohler; Marc, Zeller, Gereon, Weiss 
Title:
Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment 
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