Materialien
Vorlesungsmaterial
Leistungsnachweis
Mündliche Prüfung
Verifikation Eingebetteter Systeme I - Wintersemester 2010/11
Veranstalter
| Dozent | Bernd Becker, Prof. Dr., Lehrstuhl für Rechnerarchitektur |
| Tobias Schubert, Dr., Lehrstuhl für Rechnerarchitektur | |
| Betreuer | Christian Miller, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |