KIT | KIT-Bibliothek | Impressum | Datenschutz

A survey of methods for the validation of safety related software

Voges, U.; Taylor, J.R.



Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Proceedingsbeitrag
Jahr 1979
Sprache Englisch
Identifikator KITopen-ID: 170013203
Seiten 95-103
Erscheinungsvermerk Lauber, R. [Hrsg.] Safety of Computer Control Systems. Proc.of the IFAC Workshop, Stuttgart, May 16-18, 1979. Oxford: Pergamon Pr. 1980
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page