Safety analysis of computer programs using fault trees
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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) |