当前位置：首页 > 聂晓辉著相关PDF电子书下载
-
列车运行安全行为建模与形式化技术研究
陈永，胡晓辉著2017 年出版269 页ISBN：9787113225797随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、...
-
-
-
-
-
-
-
-
-
随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、...