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 14:03:36 发布自北京，悬赏 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)

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

实时播报: 隐形曼青的应助被OrangeY采纳，获得10

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

2秒前; 无极微光上传了应助文件

3秒前; 机灵的半山发布了新的文献求助10

3秒前; sanvva的应助被FIN采纳，获得50

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

4秒前; Lucas的应助被波哥采纳，获得10

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

5秒前; 潇洒的惋清上传了应助文件

5秒前; 脑洞疼的应助被坚强亦丝采纳，获得10

6秒前; 东北三省完成签到，获得积分10

7秒前; 徐乐发布了新的文献求助10

7秒前; 搜集达人的应助被yinh采纳，获得10

9秒前; 乐乐的应助被12112321312采纳，获得30

9秒前; 大刘大刘泊完成签到，获得积分10

9秒前; JamesPei上传了应助文件

9秒前; 赘婿上传了应助文件

10秒前; 打打上传了应助文件

10秒前; 思源的应助被阿容采纳，获得10

10秒前; wwz发布了新的文献求助20

10秒前; 领导范儿的应助被稻子熟了采纳，获得10

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

11秒前; 畅快皮皮虾发布了新的文献求助10

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

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

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

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

12秒前; 赘婿上传了应助文件

13秒前; 公冶青枫发布了新的文献求助10

13秒前; BUT完成签到，获得积分20

14秒前; 大力的冬萱发布了新的文献求助10

14秒前; 英勇的凤灵的应助被顾11采纳，获得10

14秒前; 星辰大海的应助被顾11采纳，获得10

14秒前; 共享精神的应助被mycn采纳，获得10

15秒前; 南殊爱吃鱼粮发布了新的文献求助10

15秒前; Joey发布了新的文献求助10

15秒前; 丘比特上传了应助文件

15秒前; 啦啦啦啦啦啦发布了新的文献求助10

17秒前; ding的应助被巴拉巴拉采纳，获得10

17秒前; huanghuahua完成签到，获得积分10

17秒前