| |
| 1999 | ||
|---|---|---|
| 2 | EE | Heinrich Krebs, Swapan Mitra: Hardware Redundant Vital Computers - Demonstration of Safety on the Basis of Current Standards. SAFECOMP 1999: 153-162 |
| 1983 | ||
| 1 | Franz Dernoschek, Heinrich Krebs: Entwurf und Prüfung sicherer Rechnersysteme. Microcomputing 1983: 277-301 | |
| 1 | Franz Dernoschek | [1] |
| 2 | Swapan Mitra | [2] |