KIT | KIT-Bibliothek | Impressum | Datenschutz

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.



Zugehörige Institution(en) am KIT Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Proceedingsbeitrag
Jahr 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-Verl., Düsseldorf
Seiten 345 - 356
Serie VDI-Berichte ; 2075
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page