Materialien
Vorlesungsmaterial
Verifikation eingebetteter Systeme - Wintersemester 2012/13
Veranstalter
| Dozent | Ralf Wimmer, Dr., Lehrstuhl für Rechnerarchitektur |
| Paolo Marin, PhD, Lehrstuhl für Rechnerarchitektur | |
| Bernd Becker, Prof. Dr., Lehrstuhl für Rechnerarchitektur | |
| Assistent | Karsten Scheibler, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |