Materialien
Vorlesungsmaterial
Verifikation Eingebetteter Systeme - Wintersemester 2014/15
Veranstalter
| Dozent | Christoph Scholl, Prof. Dr., Lehrstuhl für Betriebssysteme |
| Ralf Wimmer, Dr., Lehrstuhl für Rechnerarchitektur | |
| Betreuer | Paolo Marin, PhD, Lehrstuhl für Rechnerarchitektur |
| Georges Morbé, Dipl. -Inf, Lehrstuhl für Betriebssysteme |