Qualitative Analysis of Dynamic Fault Tree Based on Sequential Binary Decision Diagram
GAO Yingping
LI Yang
TIAN Kai
Keywords：dynamic fault treesequential binary decision diagramtime sequence logicreverse conversion method
Publication Date：2016-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：6( 2342-2347 )