三机冗余容错系统的描述和验证
삼궤용여용착계통적묘술화험증
Specification and Verification of the Triple-Modular Redundancy Fault-Tolerant System
저자의 최근 논문