Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Verifikation
Automatisierte Verifikationstechniken bei unvollständiger Information (gefördert durch die DFG, in Kooperation mit der Arbeitsgruppe für Rechnerarchitektur)
AVACS: Automatic Verification and Analysis of Complex Systems Sonderforschungsbereich/Transregio gefördert durch die DFG
FEST - Funktionale Verifikation von Systemen (gefördert im Rahmen der BMBF-Förderinitiative Ekompass, in Kooperation mit der Arbeitsgruppe Rechnerarchitektur)
VALSE-XT (Förderschwerpunkt EkompaSS des BMBF, gemeinsam mit der Arbeitsgruppe für Rechnerarchitektur)

Echtzeitbetriebssysteme
Graduiertenkolleg Eingebettete Mikrosysteme Teilprojekt: Erzeugung minimaler Echtzeitbetriebssysteme für eingebettete Mikrosysteme

E-Learning
Winfoline