原文传递
基于运行时验证的进路控制动态监控方法研究
| 论文题名： | 基于运行时验证的进路控制动态监控方法研究 |
| 关键词： | 运行;验证;进路控制;动态监控 |
| 作者： | 李雪菲 |
| 专业： | 交通信息工程及控制 |
| 导师： | 王海峰 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2019 |
| 正文语种： | 中文 |
检索历史
应用推荐
| 论文题名： | 基于运行时验证的进路控制动态监控方法研究 |
| 关键词： | 运行;验证;进路控制;动态监控 |
| 作者： | 李雪菲 |
| 专业： | 交通信息工程及控制 |
| 导师： | 王海峰 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2019 |
| 正文语种： | 中文 |