KIT | KIT-Bibliothek | Impressum | Datenschutz

Systematic software verification

Voges, U.


Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 1983
Sprache Englisch
Identifikator KITopen-ID: 170017264
Seiten 121-25
Erscheinungsvermerk Computer Systems for Safety and Control: Transcript from a Two-Day Course', London, GB, September 22-23, 1982 London : Oyez Scientific and Technical Services Ltd, 1983. -
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page