通用型列控系统的安全计算机设计与验证
郑升;曹源;张玉琢;景浩;胡华
Design and verification of general train control system' safety computer
ZHENG Sheng;CAO Yuan;ZHANG Yuzhuo;JING Hao;HU Hua
北京交通大学学报 . 2014, (3): 128 .  DOI: 10.11860/j.issn.1673-0291.2014.03.022