KIT | KIT-Bibliothek | Impressum

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 Vortrag
Jahr 1979
Sprache Englisch
Identifikator KITopen ID: 240013203
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