KIT | KIT-Bibliothek | Impressum

Towards Provable Protocol Conformance of Serial Automotive Communication IP

Becker, J. E.; Sander, O.; Klimm, A.; Bulach, S.; Weinberger, K.; Becker, J.



Zugehörige Institution(en) am KIT Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Proceedingsbeitrag
Jahr 2011
Sprache Englisch
Identifikator KITopen ID: 1000030408
Erschienen in Proceedings of the Design & Verification Conference & Exhibition (DVCon'11), San Jose, California, USA, February 28 - March 3, 2011
Verlag MPA, Louisville (CO)
Seiten 1P.5/1-6
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page