Oberseminar Verifikation Eingebetteter Systeme - Sommersemester 08
Übersicht
| Beschreibung |
Es werden aktuelle Arbeiten, insbesondere aus dem Bereich Verifikation und Eingebettete Systeme, vorgestellt. |
| Kommentar |
Oberseminar |