ETCS-2相关论文
郑西客运专线是我国目前正在修建的高速客运线路之一,信号系统采用了很多高新技术。文章主要介绍了郑西客运专线列车运行控制系统E......
随着中国铁路列车运行控制系统的发展，对列控系统的研究越来越受到学术界的关注。本文提出一种基于模型的形式化测试案例和测试序列......
