Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter
Materialien
Vorlesungsmaterial
Leistungsnachweis
Mündliche Prüfung


Verifikation Eingebetteter Systeme I - Wintersemester 2010/11

Veranstalter


Dozent Bernd Becker, Prof. Dr., Lehrstuhl für Rechnerarchitektur
Tobias Schubert, Dr., Lehrstuhl für Rechnerarchitektur
Betreuer Christian Miller, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur