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 (Hrsg.). - Berlin [u.a.]: VDE Verlag, 2008, S. 159 - 161
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Fakultät für Wirtschaftswissenschaften
Titel:
Formale Verifikation eines komplexen seriellen Kommunikationsprotokolls - "Lessons Learned" am Beispiel einer FlexRay-IP-Verifikation
Autor(in):
Kimmeskamp, Thorsten im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Jochim, Markus; Formann, Johannes im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Echtle, Klaus im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Bulach, Slava; Weinberger, Katharina
Erscheinungsjahr
2008
Erschienen in:
Zuverlässigkeit und Entwurf : 2. GMM/GI/ITG-Fachtagung vom 29. September bis 1. Oktober 2008 in Ingolstadt : (GMM-Fachbericht ; 57) / Sattler, Sebastian (Hrsg.). - Berlin [u.a.]: VDE Verlag, 2008, S. 159 - 161
ISBN