列车运行控制系统规范建模与验证

本书主要介绍了实现列控系统需求规范的严格建模与验证所必须的理论、方法和关键技术,内容包括现代列车运行...

2010.6