高速铁路列车运行控制系统的形式化建模与验证方法研究

【作者】曹源；

【作者基本信息】北京交通大学，交通信息工程及控制， 2011，博士