KIT | KIT-Bibliothek | Impressum

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