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

文件格式： PDF文档

文件大小： 1020.13 KB

资源类别：铁道

关键词：高速铁路验证顺序混合基于

进入标准下载页面

本资源下载需 1 点

论文简介

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

相关推荐