Institut für Technik der Informationsverarbeitung
.

Jens Becker

  • Prüfung: 25.11.2014
  • Methodischer Beitrag zum neuen Einsatz von Techniken der formalen Verifikation bei seriellen Busprotokollen im automobilen Umfeld
  • Korreferent: Prof. Dr.-Ing. Norbert Wehn
                       TU Kaiserslautern

     

    weiteres Bild (1)