materials
material download
Verifikation Eingebetteter Systeme - Winter Term 2014/15
organiser
| lecturer | Christoph Scholl, Prof. Dr., Chair of Operating Systems |
| Ralf Wimmer, Dr., Chair of Computer Architecture | |
| organizer | Paolo Marin, PhD, Chair of Computer Architecture |
| Georges Morbé, Dipl. -Inf, Chair of Operating Systems |