基于模型的列车自动防护系统软件开发
管爱爱, 邱昕夕, 王东, 陈祥献, 黄海, 刘济全
Model-based Software Development for Automatic Train Protection System
GUAN Ai-Ai, QIU Cuan-Xi, WANG Dong, CHEN Xiang-Xian, HUANG Hai, LIU Ji-Quan
计算机工程
.
2013, (3): 1
-6
.
DOI: 10.3969/j.issn.1000-3428.2013.03.001