原文传递
高速磁浮分区交接模块的形式化建模与验证分析
| 论文题名： | 高速磁浮分区交接模块的形式化建模与验证分析 |
| 关键词： | 高速磁浮;分区;接模块;形式化建模 |
| 作者： | 张思泽 |
| 专业： | 电子与通信工程 |
| 导师： | 刘湘黔 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2020 |
| 正文语种： | 中文 |
检索历史
应用推荐
| 论文题名： | 高速磁浮分区交接模块的形式化建模与验证分析 |
| 关键词： | 高速磁浮;分区;接模块;形式化建模 |
| 作者： | 张思泽 |
| 专业： | 电子与通信工程 |
| 导师： | 刘湘黔 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2020 |
| 正文语种： | 中文 |