KIT | KIT-Bibliothek | Impressum | Datenschutz

Spezifikation und Verifikation von sicherheitsrelevanten Systemen

Voges, U.



Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Vortrag
Publikationsjahr 1990
Sprache Deutsch
Identifikator KITopen-ID: 230028806
HGF-Programm 18.01.05 (Vor POF, LK 01)
Erscheinungsvermerk Vortr.: Technische Hochschule Darmstadt, 8.Februar 1990
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page