Research Article

Reliability Analysis of Dynamic Fault Tree Based on Binary Decision Diagrams for Explosive Vehicle

Figure 13

CSP logical gates transform to MC.