| 2009 | ||
|---|---|---|
| 3 | Michael Förster: Verifikation von Datenabhängigkeiten in Ableitungscodes. Informatiktage 2009: 63-68 | |
| 2003 | ||
| 2 | Burkhard Balser, Michael Förster, G. Grabowski: Modulare Avionik als Grundlage für Systemdefinition, Systemkonfiguration und Systemkontrolle. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 179-190 | |
| 1980 | ||
| 1 | Michael Förster, Christian Pirling, Lutz Voelkel: Zweiregister-Akzeptoren mit unterschiedlichen Druckbefehlen. Elektronische Informationsverarbeitung und Kybernetik 16(7): 325-334 (1980) | |
| 1 | Burkhard Balser | [2] |
| 2 | G. Grabowski | [2] |
| 3 | Christian Pirling | [1] |
| 4 | Lutz Voelkel | [1] |