KIT | KIT-Bibliothek | Impressum | Datenschutz

Eine Pruefstrategie fuer sicherheitsrelevante Prozessrechner-Software

Geiger, W.; Voges, U.



Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Vortrag
Publikationsjahr 1977
Sprache Deutsch
Identifikator KITopen-ID: 240010494
Erscheinungsvermerk Informatik-Fachberichte. Bd 7. Hrsg.: W. Brauer. GMR-GI-GfK-Fachtagung Prozessrechner 1977, Augsburg, 7.-8.Maerz 1977. Berlin, Heidelberg, New York: Springer 1977.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page