FB 3
TZI
BISS
AG BKB
H. Shi
>
">Deutsch
English
Projects
Ongoing
SharC
- Shared-Control via Dialogue in the Research Center
Spatial Cognition
(since 2004)
Completed
BMBF Verbundprojekt
UniForM Workbench
- Universelle Entwicklungsumgebung für Formale Methoden(1995-1998).
BMFT Verbundprojekt
KORSO
- Korrekte Software (1991-1994).
Author:
Dr. Hui Shi
Last updated: September 6, 2004