User: Guest  Login
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