Kimmeskamp, Thorsten; Jochim, Markus; Formann, Johannes; Echtle, Klaus; Bulach, Slava; Weinberger, Katharina:
Formale Verifikation eines komplexen seriellen Kommunikationsprotokolls - "Lessons Learned" am Beispiel einer FlexRay-IP-Verifikation
In: Zuverlässigkeit und Entwurf : 2. GMM/GI/ITG-Fachtagung vom 29. September bis 1. Oktober 2008 in Ingolstadt : (GMM-Fachbericht ; 57) / Sattler, Sebastian (Eds.). - Berlin [u.a.]: VDE Verlag, 2008, pp. 159 - 161
2008book article/chapter in collection
Computer ScienceFaculty of Business Administration and Economics
Title:
Formale Verifikation eines komplexen seriellen Kommunikationsprotokolls - "Lessons Learned" am Beispiel einer FlexRay-IP-Verifikation
Author:
Kimmeskamp, ThorstenUDE
LSF ID
12259
Other
connected with university
;Jochim, Markus;Formann, JohannesUDE
LSF ID
50488
Other
connected with university
;Echtle, KlausUDE
LSF ID
5086
Other
connected with university
;Bulach, Slava;Weinberger, Katharina
Appears in
Zuverlässigkeit und Entwurf : 2. GMM/GI/ITG-Fachtagung vom 29. September bis 1. Oktober 2008 in Ingolstadt : (GMM-Fachbericht ; 57)
Editor:
Sattler, Sebastian
Place of publication:
Berlin [u.a.]
Publisher:
VDE Verlag
Year of publication:
2008
in:
pp. 159 - 161
ISBN
978-3-8007-3119-0