Improving Railway Safety: Human-in-the-loop Invariant Finding

已完结

文献求助详情

标题	Improving Railway Safety: Human-in-the-loop Invariant Finding 提高铁路安全：人在回路不变发现相关领域三维旋转形式计算机科学不变（物理）形式化方法形式验证领域（数学）软件工程理论计算机科学数学几何学数学物理纯数学
网址	https://doi.org/10.1145/3544549.3573853
DOI	10.1145/3544549.3573853 doi
其它	期刊：作者：Ben Lloyd-Roberts; Phillip James; Michael Edwards; Simon Robinson; Thomas Werner 出版日期：2023-04-19
求助人	dylan 在 2024-11-03 15:45:39 发布自黑龙江，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

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

关注科研痛点，打通你的七经六脉

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

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

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

更新

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

更新

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

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

实时播报: Ally上传了应助文件

3秒前; 章慕思完成签到，获得积分20

16秒前; Ally上传了应助文件

43秒前; jyy发布了新的文献求助20

43秒前; 希望天下0贩的0的应助被thousandlong采纳，获得10

52秒前; 希望天下0贩的0上传了应助文件

57秒前; thousandlong发布了新的文献求助10

1分钟前; 水的很厉害完成签到，获得积分10

1分钟前; Lucas的应助被ykr采纳，获得10

1分钟前; Lucas上传了应助文件

1分钟前; ykr发布了新的文献求助10

1分钟前; Ally上传了应助文件

1分钟前; ykr完成签到，获得积分10

1分钟前; xiongyh10完成签到，获得积分10

2分钟前; caca完成签到，获得积分10

2分钟前; Ally上传了应助文件

2分钟前; Zitauu发布了新的文献求助10

2分钟前; 星辰大海上传了应助文件

2分钟前; 小铁板发布了新的文献求助10

2分钟前; 万能图书馆的应助被小铁板采纳，获得10

3分钟前; Raunio完成签到，获得积分10

3分钟前; wangfaqing942完成签到，获得积分10

3分钟前; lanxinge完成签到，获得积分10

3分钟前; Ally上传了应助文件

3分钟前; CodeCraft上传了应助文件

3分钟前; Mayer1234088发布了新的文献求助10

3分钟前; aaa142hehe完成签到，获得积分10

3分钟前; 无花果的应助被Mayer1234088采纳，获得10

3分钟前; mmyhn的应助被科研通管家采纳，获得20

3分钟前; 斯文败类的应助被TYQ采纳，获得10

3分钟前; 可爱的函函上传了应助文件

3分钟前; 然463完成签到，获得积分10

4分钟前; 您晓发布了新的文献求助10

4分钟前; 斯文败类上传了应助文件

4分钟前; TYQ发布了新的文献求助10

4分钟前; Zitauu完成签到，获得积分10

4分钟前; 脑洞疼的应助被CLAYmore采纳，获得10

4分钟前; yaya发布了新的文献求助10

4分钟前; 黎明的第一道曙光完成签到，获得积分10

4分钟前; 共享精神上传了应助文件

4分钟前