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

定价：¥48.00 旧书价：¥19.20 节约：¥28.80 库存： 店铺有售

9787113253097 / 谢雨飞 / 中国铁道出版社 / 2019年07月 / 128页

简介：本书系统地介绍了列车运行控制系统实时性的特点，以及建模与验证方法。重点阐述了基于UML、CSP、时间自动机、着色Petri网、马尔可夫链等理论和方法的列控系统，探讨了实现列控系统实时性建模与验证所必须……