Aspects of the design and verification of software for a computerized reactor protection system
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1976 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 230009593 |
| Erscheinungsvermerk | Specialists' Meeting on 'Use of Computers for Protection Systems and Automatic Control', Neuherberg/Muenchen, May 11-13, 1976 |