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
ISBN: 978-3-8007-3119-0
Buchaufsatz / Kapitel / Fach: Informatik
Fakultät für Wirtschaftswissenschaften