KIT | KIT-Bibliothek | Impressum | Datenschutz

Aspects of the design and verification of software for a computerized reactor protection system

Voges, U.


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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page