原文传递
自动导引车的建模与形式化验证
| 论文题名： | 自动导引车的建模与形式化验证 |
| 关键词： | 自动导引车;建模 |
| 作者： | 彭云涛 |
| 专业： | 计算机应用技术 |
| 导师： | 张杰 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京化工大学 |
| 学位年度： | 2014 |
| 正文语种： | 中文 |
检索历史
应用推荐
| 论文题名： | 自动导引车的建模与形式化验证 |
| 关键词： | 自动导引车;建模 |
| 作者： | 彭云涛 |
| 专业： | 计算机应用技术 |
| 导师： | 张杰 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京化工大学 |
| 学位年度： | 2014 |
| 正文语种： | 中文 |