KIT | KIT-Bibliothek | Impressum

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
Jahr 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