1 C. E. Shannon, "The Synthesis of Two-terminal Switching Ccircuits" 28 : 59-98, 1948
2 A. Rauzy, "New Algorithms for Fault Tree Analysis" 40 : 203-211, 1993
3 C.H. Roth Jr., "Fundamentals of Logic Design" 2014
4 EPRI, "FTREX 1.9 Software Manual" 2018
5 WOO SIK JUNG, "FAST BDD TRUNCATION METHOD FOR EFFICIENT TOP EVENT PROBABILITY CALCULATION" 한국원자력학회 40 (40): 571-580, 2008
6 EPRI, "Direct Probability Calculator (DPC) Version 4.0" 2009
7 S. Epstein, "Can We Trust PRA?" 88 : 195-205, 2005
8 W.S. Jung, "BeEAST 1.1 User Manual" 2015
9 EPRI, "Advanced Cutset Upper Bound Estimator(TM)(ACUBE), Version 1.0, Test Report" 2012
10 W. S. Jung, "A Method to Improve Cutset Probability Calculation in Probabilistic Safety Assessment of Nuclear Power Plants" 134 : 134-142, 2015
1 C. E. Shannon, "The Synthesis of Two-terminal Switching Ccircuits" 28 : 59-98, 1948
2 A. Rauzy, "New Algorithms for Fault Tree Analysis" 40 : 203-211, 1993
3 C.H. Roth Jr., "Fundamentals of Logic Design" 2014
4 EPRI, "FTREX 1.9 Software Manual" 2018
5 WOO SIK JUNG, "FAST BDD TRUNCATION METHOD FOR EFFICIENT TOP EVENT PROBABILITY CALCULATION" 한국원자력학회 40 (40): 571-580, 2008
6 EPRI, "Direct Probability Calculator (DPC) Version 4.0" 2009
7 S. Epstein, "Can We Trust PRA?" 88 : 195-205, 2005
8 W.S. Jung, "BeEAST 1.1 User Manual" 2015
9 EPRI, "Advanced Cutset Upper Bound Estimator(TM)(ACUBE), Version 1.0, Test Report" 2012
10 W. S. Jung, "A Method to Improve Cutset Probability Calculation in Probabilistic Safety Assessment of Nuclear Power Plants" 134 : 134-142, 2015
11 W. S. Jung, "A Fast BDD Algorithm for Large Coherent Fault Trees Analysis" 83 : 369-374, 2004