KIT | KIT-Bibliothek | Impressum

Formal specification of the software for a reactor safety system

Voges, U.



Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Proceedingsbeitrag
Jahr 1989
Sprache Englisch
Identifikator KITopen ID: 170028436
HGF-Programm 01.12.11; LK 01
Seiten 33-40
Erscheinungsvermerk Genser, R. [Hrsg.] Safety of Computer Control Systems 1989 (Safecomp '89) : Proc.of the IFAC/IFIP Workshop, Wien, A, December 5-7, 1989 Oxford [u.a.] : Pergamon Pr., 1989
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page