Sicherung von Zuverlässigkeit und Interoperabilität bei der fahrzeuginternen Kommunikation mittels formaler Verifikation

Becker, J.; Sander, O.; Klimm, A.; Becker, J. E.; Kimmeskamp, T.; Formann, J.; Echtle, K.; Weinberger, K.; Bulach, S.

Seitenaufrufe: 159
seit 06.05.2018

Zugehörige Institution(en) am KIT	Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp	Proceedingsbeitrag
Publikationsjahr	2009
Sprache	Deutsch
Identifikator	ISBN: 978-3-18-092075-7 ISSN: 0083-5560 KITopen-ID: 1000021278
Erschienen in	Proceedings of the 14. Internationaler Kongress Elektronik im Kraftfahrzeug = Electronic Systems for Vehicles, Baden-Baden, 7. und 8. Oktober 2009
Verlag	VDI Verlag
Seiten	345 - 356
Serie	VDI-Berichte ; 2075