home
> projektübersicht
|
IIF
|
English
|
Login
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
