Abstract: Modularization is a significant way to ease the challenge of evaluating large-scale fault trees known as a NP-hard problem, especially for BDD algorithm. In our previous work, we proposed an ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results