星载计算机拜占庭容错设计与验证
성재계산궤배점정용착설계여험증
Design and Validation of Byzantine Fault Tolerance for On-Board Computer
저자의 최근 논문