| 标题 |
 System verification via Model-Checking: A case study of an autonomous multi-differential drive robot 通过模型检查的系统验证：自主多差分驱动机器人的案例研究
相关领域
系统建模语言
模型检查
计算机科学
形式验证
形式化方法
过程（计算）
程序设计语言
活动图
建模语言
帧（网络）
正式规范
软件工程
统一建模语言
系统工程
工程类
软件
电信
|
| 备注 |
wiley
|
| 网址 | |
| DOI | |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
吃不饱星球球长
Ally
寻道图强
豆子
鹊起
嗯哼
穆紫
于芋菊
Jasper
英姑
一一
CipherSage
爆米花
spark810
Frank
Akim
丰盛的煎饼
cc
华仔
Luis
皖公网安备34019202002308
