Zum Navigationspfad Unterseiten von „Nachrichtendetail“ Zur Navigation Zum Schnellzugriff Zum Fuß der Seite mit weiteren Services
Zum Inhalt
Prototyp Professur
Fakultät für Elektrotechnik und Informationstechnik
Studierende sitzt am Arbeitsplatz und schaut auf den Laptop. © Aliona Kardash​/​TU Dortmund
S. Gröning, C. Rosas, C. Wietfeld

COMPLeTe A COMmunication Protocol vaLidation Toolchain

-
in
  • Univ.-Prof. Dr.-Ing. Christian Wietfeld
  • Publications

In International SPIN Symposium on Model Checking of Software, Springer, Lecture Notes in Computer Science (LNCS), Stony Brook, NY, USA, July 2013.

Zum Seitenanfang