发布文献求助
求助中
  • 文献求助详情
系统提示
该求助疑似为摘要（如会议摘要，并非全文），为了快速得到需要的文献，建议求助人检查核实。查看帮助
提醒：由于doi是数字文件的唯一标识，应助人将优先使用doi进行应助
标题
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community
形式方法界神经网络验证和抽象的文献综述
相关领域
计算机科学 抽象 形式化方法 形式验证 程序设计语言 人工神经网络 软件工程 人工智能 理论计算机科学 认识论 哲学
网址
https://doi.org/10.1007/978-3-031-75778-5_3
DOI
10.1007/978-3-031-75778-5_3 doi
其它 期刊：Lecture notes in computer science
作者：Sudeep Kanav; Jan Křetínský; Sabine Rieder
出版日期：2024-11-17
求助人
乐乐乐乐乐乐 在 2024-11-25 10:41:14 发布自安徽，悬赏 10 积分
下载 暂无链接，等待应助者上传
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
相关文献
  1. Survey on Formal Verification Methods for Digital IC
  2. Automated Tools for Teaching Formal Software Verification
  3. The Analysis of Formal Methods for Applying to Vital S/W in Train Control Systems
  4. Validation of Embedded Systems Using Formal Method Aided Simulation
  5. 열차제어시스템 바이탈 소프트웨어를 위한 정형기법 적용 방안 분석
  6. A check-points extraction method for formal verification
  7. Z와 Statechart에 의한 열차제어시스템 바이탈 소프트웨어 개발 방법 분석
  8. An Semi-formal Co-verification Approach for High-Assurance CPS
  9. Setup and Applications of the Co-Formal Verification Environment Co-Formal
　...点击展开更多...　
求助 / 应助时间线

  • 现在，等待您上传文献

  • 2小时前

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

    10:41:16 未找到该文献，机器人已退出，请等待人工下载
    10:41:14 科研通AI机器人（澳大利亚 悉尼）收到请求，开始寻找文献
    10:41:14 已向机器人发送请求

  • 2小时前

    乐乐乐乐乐乐 乐乐乐乐乐乐 求助人 Lv425 发起了本次求助

更新
大幅提高文件上传限制，最高150M (2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
course完成签到，获得积分10
1秒前
周围完成签到，获得积分10
3秒前
3秒前
4秒前
5秒前
5秒前
希望天下0贩的0的应助被chHe采纳，获得10
5秒前
han关闭了han的文献求助
5秒前
7秒前
dmsoli发布了新的文献求助10
9秒前
殷超发布了新的文献求助10
10秒前
yikun发布了新的文献求助20
10秒前
11秒前
Leah完成签到 ，获得积分10
12秒前
12秒前
12秒前
zhangyecheng完成签到，获得积分10
13秒前
轻松丹寒发布了新的文献求助10
13秒前
shidewu完成签到，获得积分10
13秒前
chHe完成签到，获得积分10
15秒前
fuguier发布了新的文献求助10
15秒前
pcwang完成签到，获得积分10
16秒前
Tuan发布了新的文献求助10
16秒前
zhangyecheng发布了新的文献求助10
18秒前
Mei完成签到，获得积分10
18秒前
殷超完成签到，获得积分10
19秒前
Soin完成签到，获得积分10
19秒前
19秒前
19秒前
wind驳回了言余的应助
21秒前
uu发布了新的文献求助10
23秒前
酷酷完成签到，获得积分10
27秒前
Ddddd完成签到，获得积分10
31秒前
31秒前
32秒前
土豪的鸿煊完成签到，获得积分10
33秒前
Bambookiller完成签到，获得积分20
33秒前
35秒前
Tuan发布了新的文献求助10
38秒前
杨柳发布了新的文献求助10
39秒前
高分求助中
Sustainability in Tides Chemistry 2800
The Young builders of New china : the visit of the delegation of the WFDY to the Chinese People's Republic 1000
юрские динозавры восточного забайкалья 800
English Wealden Fossils 700
Foreign Policy of the French Second Empire: A Bibliography 500
Chen Hansheng: China’s Last Romantic Revolutionary 500
XAFS for Everyone 500
热门求助领域 （近24小时）
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号，转发送积分 3143741
求助须知：如何正确求助？哪些是违规求助？ 2795245
关于积分的说明 7813862
捐赠科研通 2451235
什么是DOI，文献DOI怎么找？ 1304371
科研通“疑难数据库（出版商）”最低求助积分说明 627221
版权声明 601413
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：826996720【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通