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
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Fakultät für Wirtschaftswissenschaften
Titel:
Sicherung von Zuverlässigkeit und Interoperabilität bei der fahrzeuginternen Kommunikation mittels formaler Verifikation
Autor(in):
Sander, Oliver; Klimm, Alexander; Becker, Jens E.; Becker, Jürgen; Kimmeskamp, Thorsten im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Formann, Johannes im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Echtle, Klaus im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Weinberger, Katharina; Bulach, Slava
Erscheinungsjahr:
2009
Erschienen in:
14. Internationaler Kongress Elektronik im Kraftfahrzeug. - (VDI-Berichte ; 2075) - Baden-Baden, 2009, S. 345 - 357
ISBN: