Sander, Oliver; Klimm, Alexander; Becker, Jens E.; Becker, Jürgen; Kimmeskamp, Thorsten; Formann, Johannes; Echtle, Klaus; Weinberger, Katharina; Bulach, Slava:

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

In: 14. Internationaler Kongress Elektronik im Kraftfahrzeug. - (VDI-Berichte ; 2075)
Baden-Baden (2009), S. 345 - 357
ISBN: 978-3-18-092075-7
Buchaufsatz / Kapitel / Fach: Informatik
Fakultät für Wirtschaftswissenschaften