- 6.Bisherige
Arbeiten der Antragsteller
- 6.1.Universität
Bremen, Hauptantragsteller
- 6.1.1.Arbeitsgruppe unter
Leitung von Prof. Dr. B. Krieg-Brückner
- ESPRIT Basic Research
WG COMPASS
- ESPRIT-Projekt PROSPECTRA
- BMFT-Projekt KORSO
- Zusammenarbeit mit
dem Max-Planck-Institut für Informatik
- 6.1.2.Arbeitsgruppe unter
Leitung von Prof. Dr. J. Peleska
- Vorarbeiten
- 6.1.3.Bremer Institut
für Sichere Systeme (BISS)
- 6.2.Universität
Oldenburg
- Arbeitsgruppe unter
Leitung von Prof. Dr. E.-R. Olderog
- ESPRIT-Projekt ProCoS
- BMFT-Projekt KORSO
- 6.3.Elpro
LET GmbH, Berlin
- Arbeitsgruppe unter
Leitung von Prof. Dr. D. Balzer, A. Baer
- Vorarbeiten