A minimization algorithm for automata generated fault trees with priority gates.评价结果

评估详情