欢迎访问学兔兔论文下载网，学习、交流 分享 ！

返回首页 |
当前位置: 首页 > 论文文档>铁路论文 >基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

收藏
  • 大小：928.02 KB
  • 语言：中文版
  • 格式： PDF文档
  • 类别：铁路论文
关键词：
资源简介
  • 基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法,资料为PDF文档格式.
  • 本文档关键词:高速铁路,验证,顺序,混合,基于
    • 上一篇: 基于混合补偿的同相牵引供电系统
    下一篇: 基于混成自动机的城市轨道交通ZC子系统建模与验证方法


    立即下载

    推荐信息