Verfahren zur Entwicklung zuverlaessiger Software fuer rechnergestuetzte Sicherheitssysteme
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 1983 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 120017261 |
| Erschienen in | Regelungstechnische Praxis |
| Erscheinungsvermerk | Jahrestagung Kerntechnik 82. Reaktortagung 1982, Mannheim, 4.-6.Mai 1982, 25(1983) S.149-55 S.202-05 Atomwirtschaft-Atomtechnik, 28(1983) S.43-48 |