System verification via Model-Checking: A case study of an autonomous multi-differential drive robot

已完结

文献求助详情

标题	System verification via Model-Checking: A case study of an autonomous multi-differential drive robot 通过模型检查的系统验证：自主多差分驱动机器人的案例研究相关领域系统建模语言模型检查计算机科学形式验证形式化方法过程（计算）程序设计语言活动图建模语言帧（网络）正式规范软件工程统一建模语言系统工程工程类软件电信
网址	http://dx.doi.org/10.1002/iis2.13006
DOI	10.1002/iis2.13006 doi
求助人	大飞飞在 2024-11-04 17:44:34 发布自北京，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

老实憨厚无套路，服务科研追梦人

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2024年影响因子查询已上线 (2024-6-20)

更新

大幅提高文件上传限制，最高150M (2024-4-1)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 科研通AI2S的应助被iris采纳，获得10

刚刚; 杳鸢上传了应助文件

刚刚; 斯文梦寒完成签到，获得积分10

1秒前; 研友_VZG7GZ上传了应助文件

1秒前; 小哀的应助被为你钟情采纳，获得10

2秒前; 小白发布了新的文献求助10

2秒前; 领导范儿的应助被hql_sdu采纳，获得10

2秒前; 527完成签到，获得积分10

3秒前; 隐形曼青的应助被宇文无施采纳，获得10

3秒前; 英姑的应助被胡胡采纳，获得10

3秒前; Charles发布了新的文献求助10

4秒前; CipherSage上传了应助文件

4秒前; 小超人到海底捉虫完成签到，获得积分10

4秒前; 张婷婷发布了新的文献求助10

4秒前; bckl888完成签到，获得积分10

4秒前; 烟花的应助被setfgrew采纳，获得10

5秒前; 包子完成签到，获得积分10

5秒前; Yziii的应助被白白不读书采纳，获得20

6秒前; wlqc完成签到，获得积分10

6秒前; 平淡忻发布了新的文献求助10

6秒前; 海狗发布了新的文献求助10

7秒前; 可耐的善斓完成签到，获得积分10

8秒前; zhangzongying完成签到，获得积分10

8秒前; 花05上传了应助文件

9秒前; Orange的应助被李文思采纳，获得10

9秒前; kb发布了新的文献求助10

10秒前; 婉晚发布了新的文献求助10

10秒前; 充电宝上传了应助文件

10秒前; CodeCraft的应助被苏苏采纳，获得10

11秒前; cherish发布了新的文献求助10

12秒前; 36456657上传了应助文件

12秒前; 妮妮完成签到，获得积分10

12秒前; XY完成签到，获得积分10

13秒前; Sherlock完成签到，获得积分10

14秒前; 平淡忻完成签到，获得积分10

14秒前; 领导范儿上传了应助文件

14秒前; 积极的板栗发布了新的文献求助10

15秒前; Jasper上传了应助文件

17秒前; CodeCraft上传了应助文件

17秒前; 玖歌关注了科研通微信公众号

17秒前