A hierarchical verification approach to verify complex safety control systems based on STAMP

已完结

文献求助详情

标题	A hierarchical verification approach to verify complex safety control systems based on STAMP
网址	https://www.sciencedirect.com/science/article/pii/S016764231...
DOI	10.1016/j.scico.2018.11.006 doi
其它	期刊：Science of Computer Programming 作者：Xiao Han; Tao Tang; Jidong Lv 出版日期：2018-11-29
求助人	mirror 在 2026-08-10 22:27:07 发布自中国，悬赏 10 积分
下载	求助已完成，仅限求助人下载。

上个求助

下个求助

American Association for Cancer Research (AACR)

提交工单

该求助已完结，感谢关注

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

站在巨人的肩膀上，才更有可能跳的更远

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

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

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

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

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

实时播报: lhl完成签到，获得积分0

1秒前; Kao上传了应助文件

11秒前; hui完成签到，获得积分10

13秒前; 智者雨人完成签到，获得积分10

14秒前; NexusExplorer上传了应助文件

20秒前; 淡定的夜云完成签到，获得积分10

22秒前; t铁核桃1985完成签到，获得积分0

23秒前; Rqbnicsp完成签到，获得积分10

23秒前; 刘萌萌发布了新的文献求助10

26秒前; 王权完成签到，获得积分10

31秒前; 科研通AI2S上传了应助文件

33秒前; 伊笙完成签到，获得积分0

35秒前; yaoyao发布了新的文献求助30

37秒前; Lucas的应助被刘萌萌采纳，获得10

38秒前; 英姑上传了应助文件

38秒前; 未蓝发布了新的文献求助10

42秒前; 许丫丫完成签到，获得积分10

48秒前; v0id上传了应助文件

49秒前; 阳光的Kelly完成签到，获得积分10

52秒前; aajhajkahna举报sunnnni的求助涉嫌违规

55秒前; Aeeeeeeon完成签到，获得积分10

1分钟前; 幕后编剧关闭了幕后编剧的文献求助

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

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

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

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

1分钟前; 复杂的海完成签到，获得积分10

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

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

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

1分钟前; 小人物发布了新的文献求助10

1分钟前; 未蓝驳回了molihuakai的应助

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

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

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

1分钟前; cdercder的应助被科研通管家采纳，获得10

1分钟前; 科研通管家关闭了兼听则明的文献求助

1分钟前; 小人物完成签到，获得积分10

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

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

1分钟前