基于模型的列车运行控制系统设计与验证方法

本书结合列车运行控制系统开发过程的特点,介绍了基于模型的列控系统设计及验证方法、技术和工具,重点阐述...

2014.3