计算机网络与通信基础

作者：  谢雨飞

出版社：清华大学出版社 2019年08月

简介：

列车运行控制系统实时性的建模与验证

作者：  谢雨飞

出版社：中国铁道出版社 2019年07月

简介：
本书系统地介绍了列车运行控制系统实时性的特点，以及建模与验证方法。重点阐述了基于UML、CSP、时间自动机、着色Petri网、马尔可夫链等理论和方法的列控系统，探讨了实现列控系统实时性建模与验证所必须的理论与关键技术。在应用方面，介绍了支持相关研究方法的技术手段及其算法。本书适合作为高等院校铁路信号及相关专业的教学参考用书，也可供相关领域研究人员参考。