计算机联锁控制系统安全性保障体系的一种模型
单冬;燕永田
A Model of the Security-guaranty Technique in Computer-based Interlocking System
Shan Dong;Yan Yongtian
. 1998, (5): 19 .