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
2009Buchaufsatz/Kapitel in Sammelwerk
InformatikFakultä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, ThorstenUDE
LSF ID
12259
Sonstiges
der Hochschule zugeordnete*r Autor*in
;
Formann, JohannesUDE
LSF ID
50488
Sonstiges
der Hochschule zugeordnete*r Autor*in
;
Echtle, KlausUDE
LSF ID
5086
Sonstiges
der Hochschule zugeordnete*r Autor*in
;
Weinberger, Katharina;Bulach, Slava