当前位置：首页 > 名称
大约有8,000项符合查询结果项。（搜索耗时：0.0262秒）
为您推荐： press中国科学院 沈阳计算技术研究所计算数学研究室 press中国科学院计算技术研究所 press中国科学院沈阳计算技术研究所 中国科学院计算技术研究所 中国科学院沈阳计算技术研究所 press中国科学院计算技术研究所十七室
-
-
-
-
-
-
-
-
-
列车运行安全行为建模与形式化技术研究
陈永，胡晓辉著2017 年出版269 页ISBN：9787113225797随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、...
-
学科分类