Benutzer: Gast  Login
Titel:

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

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Christian, Drabek; Thomas, Pramsohler; Marc, Zeller, Gereon, Weiss
Dewey-Dezimalklassifikation:
000 Informatik, Wissen, Systeme
Kongress- / Buchtitel:
Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems
Kongress / Zusatzinformationen:
co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013)
Jahr:
2013
Monat:
Nov
Reviewed:
ja
Sprache:
en
WWW:
http://ceur-ws.org/Vol-1084/paper7.pdf
 BibTeX