Efficient Analysis of Fault Trees with Voting Gates.

Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano, Fumio Machida, Atsushi Kobayashi, Takao Osaki

Browse the full ISSRE paper archive.