materials
material download
Verifikation Eingebetteter Systeme I - Winter term 2010/11
organiser
| lecturer | Bernd Becker, Prof. Dr., Chair of Computer Architecture |
| Tobias Schubert, Dr., Chair of Computer Architecture | |
| organizer | Christian Miller, Dipl.-Inf., Chair of Computer Architecture |