Subject
Mechanical Engineering,Waste Management and Disposal,Safety, Risk, Reliability and Quality,General Materials Science,Nuclear Energy and Engineering,Nuclear and High Energy Physics
Reference22 articles.
1. Binary decision diagrams;Akers;IEEE Transactions on Computers,1978
2. One heuristic to minimize BDD representation of the fault tree;Banov,2008
3. Graph based algorithms for Boolean function manipulation;Bryant;IEEE Transactions on Computers,1986
4. Symbolic Boolean manipulation with ordered binary decision diagrams;Bryant;ACM Computing Surveys,1992
5. Analysis of truncation limit in probabilistic safety assessment;Cepin;Reliability Engineering and System Safety,2005
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献