Research Article

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

Figure 12

SEQ logical gates transform to MC.