音像列车运行安全行为建模与形式化技术研究中国

机械工业出版社 中国铁道出版社 人民交通出版社 化学工业出版社 科学出版社 电子工业出版社 其他 国防工业音像出版社 中国建筑工业出版社 北京理工大学出版社 西南交通大学出版社 金盾出版社 辽宁科学技术出版社 上海交通大学出版社 北京交通大学出版社 同济大学出版社 中国建材工业出版社 哈尔滨工程大学出版社 上海科学技术出版社 中国水利水电出版社