Combining model learning and formal analysis: A framework for protocol implementation verification

待确认

文献求助详情

标题	Combining model learning and formal analysis: A framework for protocol implementation verification
网址	http://dx.doi.org/10.1016/j.jisa.2025.104079
DOI	10.1016/j.jisa.2025.104079 doi
求助人	yang1993 在 2026-08-07 01:01:12 发布自江西，悬赏 10 积分
下载

上个求助

下个求助

提交工单

求助 / 应助时间线

请等待求助人确认

已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。
3分钟前

猪猪hero Lv419 上传了文件

待审核 Combining model learning and formal analysis_ A framework for protocol implementation verification.pdf (1.52 MB)

温馨提示：本文件中的下载单位、IP等隐私信息已被删除。如有遗漏，请提交工单反馈。
6小时前

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

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

01:01:12 科研通AI机器人（广州）收到请求，开始寻找文献

01:01:12 已向机器人发送请求
6小时前

yang1993 Lv41 求助人发起了本次求助

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

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

更新

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

更新

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

更新

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

新增

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

新增

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

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

实时播报: YYM完成签到，获得积分10

3秒前; 科研通AI6.3上传了应助文件

3秒前; 就很棒的小俊完成签到，获得积分10

4秒前; 燕子完成签到，获得积分20

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

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

7秒前; 洁净的酬海完成签到，获得积分10

7秒前; 老喻完成签到，获得积分10

7秒前; 顾矜的应助被iwsaml采纳，获得10

8秒前; 路漫漫其修远兮完成签到，获得积分10

8秒前; kankj发布了新的文献求助10

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

13秒前; 海皇星空完成签到，获得积分10

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

19秒前; 科研通AI6.3上传了应助文件

22秒前; 科研通AI6.4上传了应助文件

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

29秒前; kankj发布了新的文献求助10

30秒前; 颖宝老公完成签到，获得积分0

33秒前; 寒赤月完成签到，获得积分10

33秒前; 英语小A完成签到，获得积分10

34秒前; 大呲花完成签到，获得积分10

37秒前; kankj发布了新的文献求助10

37秒前; lxxxx完成签到，获得积分10

37秒前; mimi完成签到，获得积分10

40秒前; lling完成签到，获得积分10

41秒前; 化学民工完成签到，获得积分10

43秒前; 木卫二完成签到，获得积分10

44秒前; 周_完成签到，获得积分10

46秒前; 花花子完成签到，获得积分10

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

49秒前; cdercder上传了应助文件

49秒前; Dr_Shi完成签到，获得积分10

50秒前; 魔术师完成签到，获得积分10

52秒前; 汉堡包上传了应助文件

58秒前; 飞翔的梦完成签到，获得积分10

59秒前; 博弈完成签到，获得积分10

59秒前; 心灵美的不斜完成签到，获得积分10

59秒前; 猪猪hero上传了应助文件

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

1分钟前