KIT | KIT-Bibliothek | Impressum

Formal specification of software

Voges, U.



Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Vortrag
Jahr 1988
Sprache Englisch
Identifikator KITopen ID: 230026793
Erscheinungsvermerk IFIP WG 10.4 Reliable Computing and Fault Tolerance Summer Meeting, Gotemba, J, July 1-4, 1988
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page