PREP AND KITT: COMPUTER CODES FOR THE AUTOMATIC EVALUATION OF A FAULT TREE.

Abstract

s e t s or p.ath s e t s ,eit,her by" Monte Carlo s'imulation or by d e t e r m i n i s t i c t e s t i n g .The KITT codes obt,a5:,n t h e n.i.lmer

Cite this work

No public copy is stored for this record, so only the metadata is cited.

Stored only when both papers are in the corpus — 78 citations exist upstream.