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. |