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
Occurrences:
- mediaTUM GesamtbestandEinrichtungenSchools TUM School of Computation, Information and TechnologyDepartmentsComputer EngineeringInformatik 13 - Professur für Vernetzte Rechensysteme - (N.N.)AutorPramsohler, Thomas