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 Sammelwerk2009Informatik
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, ThorstenLSF; Formann, JohannesLSF; Echtle, KlausLSF; Weinberger, Katharina; Bulach, Slava
Erscheinungsjahr
2009
Erschienen in:
Titel:
14. Internationaler Kongress Elektronik im Kraftfahrzeug. - (VDI-Berichte ; 2075)
Erscheinungsort
Baden-Baden
Erscheinungsjahr
2009
in:
S. 345 - 357
ISBN: