基于模型的高速列车运行控制系统可信性验证方法研究

【作者】 赵显琼；

【导师】 唐涛；

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