A Method of BDD Restructuring for Efficient MCS Extraction in BDD Converted from Fault Tree and A New Approximate Probability Formula (고장수목으로부터 변환된 BDD에서 효율적인 MCS 추출을 위한 BDD 재구성 방법과 새로운 근사확률 공식)
-
- Journal of the Korea Institute of Information and Communication Engineering
- /
- v.23 no.6
- /
- pp.711-718
- /
- 2019