|
|||||
|
|
| 基于有色Petri网的测试案例生成方法及其在CTCS-3车地通信中的应用 | |
| 引用本文： | 赵天时.基于有色Petri网的测试案例生成方法及其在CTCS-3车地通信中的应用[J].北京交通大学学报(自然科学版),2018,42(6). |
| 作者姓名： | 赵天时 |
| 作者单位： | 中国铁道科学研究院集团有限公司标准计量研究所,北京,100081 |
| 基金项目： | 国家自然科学基金;中国铁道科学研究院集团有限公司科研项目;中铁检验认证中心科研项目;交控科技设计创新和学科发展基金;中国铁道科学研究院集团有限公司科研项目 |
| 摘 要： | |
| 关 键 词： | CTCS-3级列控系统 有色Petri网 车地通信 状态空间 路径 |
| 本文献已被 万方数据 等数据库收录！ | |