Prime implicants for modularised non-coherent fault trees using binary decision diagrams
(2007)
Journal Article
This paper presents an extended strategy for the analysis of complex fault trees. The method utilises simplification rules, which are applied to the fault tree to reduce it to a series of smaller subtrees, whose solution is equivalent to the original... Read More about Prime implicants for modularised non-coherent fault trees using binary decision diagrams.