Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions

已关闭

文献求助详情

系统提示

该求助疑似为摘要（如会议摘要，并非全文），为了快速得到需要的文献，建议求助人检查核实。查看帮助

提醒：由于doi是数字文件的唯一标识，应助人将优先使用doi进行应助

标题	Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions
网址	https://doi.org/10.1007/978-3-031-77382-2_1
DOI	10.1007/978-3-031-77382-2_1 doi
其它	期刊：Software Engineering and Formal Methods 作者：Paula Herber; Julius Adelt; Philip Tasche 出版日期：2025
求助人	pwq 在 2026-03-18 13:57:20 发布自北京，悬赏 10 积分
下载

Society for Industrial and Applied Mathematics (SIAM)

上个求助

下个求助

提交工单

求助 / 应助时间线

6个月前，求助关闭

pwq Lv1 求助人关闭了本次求助。

说明该求助疑似为摘要（如会议摘要，并非全文）【积分已退回】
6个月前

pwq Lv1 求助人发起了本次求助

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

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

更新

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

更新

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

更新

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

新增

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

新增

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

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

实时播报: 高贵飞丹完成签到，获得积分10

8秒前; Ali上传了应助文件

13秒前; 精明诗筠完成签到，获得积分10

16秒前; Ali的应助被My_magnum_opus采纳，获得10

16秒前; Ali的应助被My_magnum_opus采纳，获得10

16秒前; 完美飞凤完成签到，获得积分10

42秒前; Owen的应助被一介书生采纳，获得10

1分钟前; 科研通AI6.4的应助被zzz采纳，获得10

1分钟前; 大模型的应助被成美采纳，获得10

1分钟前; 大模型上传了应助文件

1分钟前; 科研通AI6.4上传了应助文件

1分钟前; 可靠秋蝶完成签到，获得积分10

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

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

1分钟前; 科研通AI6.2的应助被蜜桃吐司采纳，获得10

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

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

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

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

1分钟前; 科研通管家关闭了渣七的文献求助

1分钟前; 缥缈雯完成签到，获得积分10

1分钟前; 年轻的幼菱完成签到，获得积分10

1分钟前; 鲜艳的乐珍完成签到，获得积分10

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

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

2分钟前; 李大可关闭了李大可的文献求助

2分钟前; 一介书生发布了新的文献求助10

2分钟前; 852的应助被读书的时候采纳，获得10

2分钟前; 大力凡旋完成签到，获得积分10

2分钟前; 李健的粉丝团团长的应助被虚拟的面包采纳，获得10

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

3分钟前; 科研通AI6.4的应助被读书的时候采纳，获得10

3分钟前; 李健的粉丝团团长上传了应助文件

3分钟前; 科研通AI6.4的应助被zzz采纳，获得10

3分钟前; 跳跃的青完成签到，获得积分10

3分钟前; 虚拟的面包发布了新的文献求助10

3分钟前; 科研通AI6.4的应助被读书的时候采纳，获得10

3分钟前; 虚拟的面包完成签到，获得积分10

3分钟前; 清脆曼岚完成签到，获得积分10

3分钟前; 香蕉觅云的应助被亚高山暗针叶林采纳，获得10

3分钟前