KIT | KIT-Bibliothek | Impressum | Datenschutz

Safety analysis of computer programs using fault trees

Weber, G.



Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Proceedingsbeitrag
Jahr 1986
Sprache Englisch
Identifikator KITopen-ID: 170021648
Seiten 123-54
Erscheinungsvermerk Skwirzynski, J.K. [Hrsg.] The Challenge of Advanced Computing Technology to System Design Methods: Proc.of the NATO Advanced Study Institute, Durham, GB, July 29 - August 10, 1985 Berlin[u.a.]: Springer, 1986.- (NATO ASI Series: Series F, Computer and Systems Sciences; 22)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page