首页
|
帮助
|
阅读器下载
|
插件下载
|
登录
中国博士学位论文全文数据库
列车运行控制系统分层形式化建模与验证分析
【作者】
吕继东
;
【导师】
唐涛;
【作者基本信息】
北京交通大学
, 交通信息工程及控制, 2011, 博士