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
Publikationsjahr	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
Seiten	1P.5/1-6

Seitenaufrufe: 214
seit 06.05.2018