Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Verifikation eingebetteter Systeme - Wintersemester 2013/14
Veranstalter
| Dozent | Ralf Wimmer, Dr., Lehrstuhl für Rechnerarchitektur |
| Assistent | Karsten Scheibler, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |
| Christian Miller, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |