Ausleih-Tool der FSMI

Model Checking

Teilgebiet SWT
Verfügbar 2251
Prüfungsarten Protokoll (6x)
Unbekannter Typ (2x)
Protokoll, Vertiefung (1x)
Datumsspanne 2008-08-13 bis 2017-04-05
Veranstaltungen Intelligenz in eingebetteten Systemen (1x)
Model Checking (9x)
Seminar Verification of Partially Unknown Systems (1x)
Software Quality Assurance (2x)
Web Engineering (1x)
Prüfer Engels (2x)
Kleinjohann (1x)
Wehrheim (9x)
Veranstaltungen Prüfer Prüfungsart Datum
Model Checking Wehrheim Protokoll 2017-04-05
Model Checking Wehrheim Protokoll 2013-09-04
Model Checking; Software Quality Assurance Engels; Wehrheim Protokoll 2012-10-09
Intelligenz in eingebetteten Systemen; Model Checking Kleinjohann; Wehrheim Protokoll 2010-04-23
Model Checking; Seminar Verification of Partially Unknown Systems; Software Quality Assurance; Web Engineering Engels; Wehrheim Protokoll, Vertiefung 2010-03-02
Model Checking Wehrheim Protokoll 2009-08-12
Model Checking Wehrheim Unbekannter Typ 2008-09-01
Model Checking Wehrheim Unbekannter Typ 2008-08-15
Model Checking Wehrheim Protokoll 2008-08-13