列车运行控制系统软件故障相关形式化测试方法

【作者】 张岩

【导师】 唐涛;

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