Demonstration of a Model-based Approach for Formal Verification of I&C Logics

求助中

文献求助详情

标题	Demonstration of a Model-based Approach for Formal Verification of I&C Logics 基于模型的I&C逻辑形式化验证方法的演示相关领域计算机科学形式验证程序设计语言形式化方法软件工程
网址	10.13182/NPICHMIT23-41121
DOI	暂未提供，该求助的时间将会延长，查看原因？ AI识别 10.13182/npichmit23-41121 doi
其它	会议论文
求助人	大飞飞在 2024-11-04 18:03:27 发布自北京，悬赏 30 积分
下载	暂无链接，等待应助者上传
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

求助 / 应助时间线

现在，等待您上传文献

对不起，您需要登录才可以上传文件。
进入登录页面
13小时前

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

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

18:03:27 科研通AI机器人（日本东京）收到请求，开始寻找文献

18:03:27 已向机器人发送请求
13小时前

大飞飞求助人 Lv4 发起了本次求助

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

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

更新

2024年影响因子查询已上线 (2024-6-20)

更新

大幅提高文件上传限制，最高150M (2024-4-1)

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

实时播报: 微卫星不稳定完成签到，获得积分10

2秒前; 榆木小鸟完成签到，获得积分10

8秒前; 在九月完成签到，获得积分10

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

29秒前; 土豪的土豆完成签到，获得积分10

30秒前; 二维世界的鱼完成签到，获得积分10

33秒前; 胜胜糖完成签到，获得积分10

49秒前; cctv18的应助被xuexinru采纳，获得30

50秒前; 哈哈哈哈st完成签到，获得积分10

51秒前; JACK完成签到，获得积分10

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

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

1分钟前; 温婉的夏烟完成签到，获得积分10

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

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

1分钟前; 朱诗源完成签到，获得积分10

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

1分钟前; 一个没自信的boy完成签到，获得积分10

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

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

1分钟前; 现实的曼安完成签到，获得积分10

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

1分钟前; 杨永佳666完成签到，获得积分10

1分钟前; 平常雨泽完成签到，获得积分10

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

1分钟前; 科研小郭完成签到，获得积分10

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

1分钟前; 老宇126完成签到，获得积分10

1分钟前; chenying完成签到，获得积分0

1分钟前; 温暖糖豆完成签到，获得积分10

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

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

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

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

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

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

1分钟前; 小蘑菇上传了应助文件

1分钟前; starleo发布了新的文献求助20

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

1分钟前; 牛芳草完成签到，获得积分10

2分钟前