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, pp. 345 - 357
2009book article/chapter in collection
Computer ScienceFaculty of Business Administration and Economics
Title:
Sicherung von Zuverlässigkeit und Interoperabilität bei der fahrzeuginternen Kommunikation mittels formaler Verifikation
Author:
Sander, Oliver;Klimm, Alexander;Becker, Jens E.;Becker, Jürgen;Kimmeskamp, ThorstenUDE
LSF ID
12259
Other
connected with university
;Formann, JohannesUDE
LSF ID
50488
Other
connected with university
;Echtle, KlausUDE
LSF ID
5086
Other
connected with university
;Weinberger, Katharina;Bulach, Slava
Appears in
14. Internationaler Kongress Elektronik im Kraftfahrzeug. - (VDI-Berichte ; 2075)
Place of publication:
Baden-Baden
Year of publication:
2009
in:
pp. 345 - 357
ISBN
978-3-18-092075-7