列车运行安全行为建模与形式化技术研究2017.1陈永, 胡晓辉, 著 列车关键设备服役状态辨识的安全域理论、方法与应用2016.4张媛, 著 网络攻击形式化建模理论2010.7黄光球, 著 安全行为科学2012.7罗云, 主编 列车运行控制系统规范建模与验证2010.6唐涛, 徐田华, 赵林, 著 安全行为管理2008.02邵辉, 邢志祥, 王凯全, 编著 群体安全行为定性模拟研究及其应用2020.曹庆贵, 余凯, 周鲁洁, 著 列车运行控制系统安全评估方法2018.12唐涛, 燕飞, 牛儒, 刘超, 吕继东, 编著 列车运行控制系统实时性的建模与验证2019.7谢雨飞, 著 铁路供电运行安全与技术研究2020.9李志锋, 主编 铁路供电运行安全与技术研究2016.9李志锋, 主编 铁路供电运行安全与技术研究2018.5李志锋, 主编 列车运行控制系统安全性设计技术2017.12马连川, 编著 铁路供电运行安全与技术研究2015.6李志锋, 主编 列车运行控制系统多分辨率建模与仿真方法2019.5蔡伯根, 上官伟, 王剑, 著