Verifikation Eingebetteter Systeme - Wintersemester 2014/15

Zeit / Ort

Vorlesung	Dienstag + Donnerstag, 14-16 Uhr (Donnerstags im Wechsel mit Übungen)
Übungen	Donnerstag, 14-16 Uhr alle zwei Wochen Raum: 51-03.026