Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Verifikation probabilistischer und hybrider Systeme - Wintersemester 2011/12
Veranstalter
| Dozent | Ralf Wimmer, Dr., Lehrstuhl für Rechnerarchitektur |
| Bernd Becker, Prof. Dr., Lehrstuhl für Rechnerarchitektur | |
| Assistent | Christian Miller, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |