Materialien
Vorlesungsmaterial
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
|