A novel approach to Real-time contract based reasoning for Hybrid Systems

求助中

文献求助详情

标题	A novel approach to Real-time contract based reasoning for Hybrid Systems
网址	http://dx.doi.org/10.1109/memocode57689.2022.9954599
DOI	10.1109/memocode57689.2022.9954599 doi
其它	期刊：2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) 作者：Surinder Sood; Avinash Malik; Partha Roop 出版日期：2022-10-13
求助人	xia 在 2026-09-03 23:14:07 发布自中国香港，悬赏 10 积分
下载	暂无链接，等待应助者上传

上个求助

下个求助

提交工单

求助 / 应助时间线

现在，等待您上传文献

当前有 2 位研友正在围观本求助： xia 悦耳的怀寒

对不起，您需要登录才可以上传文件。
进入登录页面
14分钟前

科研通AI2.0 机器人未找到该文献，机器人已退出，请等待人工下载

23:14:09 未找到该文献，机器人已退出，请等待人工下载

23:14:07 科研通AI机器人（新加坡）收到请求，开始寻找文献

23:14:07 已向机器人发送请求
14分钟前

xia Lv11 求助人发起了本次求助

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

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

更新

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

更新

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

更新

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

新增

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

新增

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

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

实时播报: David关闭了David的文献求助

1秒前; 李健的小迷弟的应助被ly采纳，获得10

1秒前; jakeey发布了新的文献求助10

2秒前; 极地东风完成签到，获得积分10

3秒前; David关闭了David的文献求助

5秒前; 科研通AI6.2的应助被伊羅采纳，获得10

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

6秒前; Hello上传了应助文件

7秒前; 隐形曼青上传了应助文件

7秒前; David关闭了David的文献求助

9秒前; ZHAOyifan完成签到，获得积分10

10秒前; 耍酷定帮发布了新的文献求助10

12秒前; NexusExplorer的应助被斯年采纳，获得10

12秒前; 大苦瓜2号完成签到，获得积分10

12秒前; 小蘑菇上传了应助文件

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

13秒前; cdercder的应助被shuenghei采纳，获得10

13秒前; Leo发布了新的文献求助10

13秒前; 李爱国上传了应助文件

14秒前; jakeey完成签到，获得积分10

15秒前; dai完成签到，获得积分10

15秒前; 香蕉耳机完成签到，获得积分10

15秒前; Wissenheimer的应助被gz采纳，获得30

15秒前; 鱼羊明完成签到，获得积分10

16秒前; Vermouth完成签到，获得积分10

16秒前; JamesPei的应助被黄垚采纳，获得10

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

16秒前; dai发布了新的文献求助10

18秒前; 感性的蜜蜂完成签到，获得积分10

18秒前; 踏实访云发布了新的文献求助10

18秒前; 大苦瓜2号发布了新的文献求助10

19秒前; 脑洞疼上传了应助文件

22秒前; Owen的应助被stupider采纳，获得10

22秒前; Cc8发布了新的文献求助10

22秒前; yudekongbupian完成签到，获得积分10

23秒前; 慕青上传了应助文件

25秒前; 小兵发布了新的文献求助10

25秒前; 大个上传了应助文件

25秒前; 奔跑上传了应助文件

26秒前; 常文轩关闭了常文轩的文献求助

28秒前