Qualitative and Quantitative Analysis of Safeguards Logic Trees

[1]  S. Scheer,et al.  ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies , 1998, Tool Support for System Specification, Development and Verification.