materials
material download
Verifikation eingebetteter Systeme - Winter Term 2013/14
organiser
| lecturer | Ralf Wimmer, Dr., Chair of Computer Architecture |
| assistant | Karsten Scheibler, Dipl.-Inf., Chair of Computer Architecture |
| Christian Miller, Dipl.-Inf., Chair of Computer Architecture |