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

Dokumenttyp:: Konferenzbeitrag
Autor(en):: Christian, Drabek; Thomas, Pramsohler; Marc, Zeller, Gereon, Weiss
Titel:: Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment
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