列车运行控制系统规范建模与验证 唐涛，徐田华，赵林 著 中国铁道出版社 出版时间：2010-6出版社：中国铁道出版社作者：唐涛，徐田华，赵林 著页数：206字数：227000 图书封面 下载链接 列车运行控制系统规范建模与验证PDF格式下载
