KIT | KIT-Bibliothek | Impressum

Use of complementary methods to validate safety related software systems

Voges, U.; Taylor, J.R.



Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Vortrag
Jahr 1978
Sprache Englisch
Identifikator KITopen ID: 230011920
Erscheinungsvermerk 7.Triennial World Congress of the Internat.Federation of Automatic Control, Helsinki, June 12-16, 1978
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page