TY - Int J Performability Eng A1 - HYUN GOOK KANG, SEUNG-CHEOL JANG, and JAEJOO HA T1 - Fault Tree Modeling for Redundant Multi-Functional Digital Systems Y1 - 2007-07-01 JF - International Journal of Performability Engineering JO - Int J Performability Eng SP - 329 EP - 336 VL - 3 IS - 3 UR - https://www.ijpe-online.com N1 - 10.23940/ijpe.07.3.p329.mag ER -