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

书籍简介:

本书系统地介绍了列车运行控制系统实时性的特点以及建模与验证方法。重点阐述了基于UML、时间自动机、Petri网、马尔可夫链等理论和方法的系统建模与分析，探讨了实现列控系统实时性建模与验证所必须的理论与关键技术。在应用方面，介绍了支持相关研究方法的技术手段和工具及其使用方法。

书籍规格:

书籍信息归属:

列车运行控制系统实时性的建模与验证是中国铁道出版社有限公司于2019.7出版的中图分类号为 U284.48 的主题关于 列车－运行－控制系统－系统建模 的书籍。