Projekte

Aktuell

• SharC - Shared-Control via Dialogue im Rahmen des SFB/TR8 Spatial Cognition(seit 2004)

Abgeschlosssen

• BMBF Verbundprojekt UniForM Workbench - Universelle Entwicklungsumgebung für Formale Methoden(1995-1998).
• BMFT Verbundprojekt KORSO - Korrekte Software (1991-1994).