KIT | KIT-Bibliothek | Impressum | Datenschutz

A methodology for the validation of safety-related software

Geiger, W.; Gmeiner, L.; Voges, U.


Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Vortrag
Publikationsjahr 1978
Sprache Englisch
Identifikator KITopen-ID: 230012738
Erscheinungsvermerk Enlarged Halden Programme Group Meeting on Water Reactor Fuel Performance and Applications of Process Computers in Reactor Operation, Loen/Norway, June 5-9, 1978
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page