Funder
Harbin Engineering University
Nuclear Power Plant Living-PSA
National Science and Technology Major Project of China
National High-tech R&D Program
Subject
Waste Management and Disposal,Energy Engineering and Power Technology,Safety, Risk, Reliability and Quality,Nuclear Energy and Engineering
Reference15 articles.
1. A benchmark of Boolean Formulae http://iml.univ-mrs.fr/∼arauzy/aralia/benchmark.html.
2. New algorithms for fault trees analysis;Antoine;Reliab. Eng. Syst. Saf.,1993
3. Graph based algorithms for Boolean function manipulation;Bryant;IEEE Trans. Comput.,1986
4. A linear-time algorithm to find modules of fault trees;Dutuit;IEEE Trans. Reliab.,1996
5. Variable ordering schemes to apply to the binary decision diagram methodology for event tree sequences assessment;Ibán˜ez;Risk Reliab.,2008
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献