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
- LSF ID
- 50488
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
- LSF ID
- 5086
- Sonstiges
- der Hochschule zugeordnete*r Autor*in