KIT | KIT-Bibliothek | Impressum

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
Jahr 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