Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter  |  Literatur
Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien


Verifikation probabilistischer und hybrider Systeme - Wintersemester 2011/12

Prüfungskriterien


Mündliche Prüfung im Prüfungszeitraum am Ende des Wintersemesters 2011/12

Die aktive Teilnahme an den Übungen wird vorausgesetzt.