Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates.

Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno

Browse the full ISSRE paper archive.