列车运行控制系统分层形式化建模与验证分析

【作者】 吕继东

【导师】 唐涛;

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