Guaranteeing functional safety: design for provability and computer-aided verification - 科研通

发布文献求助

亲爱的研友该休息了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！身体可是革命的本钱，早点休息，好梦！

已完结

文献求助详情

标题	Guaranteeing functional safety: design for provability and computer-aided verification 保证功能安全：可证明性设计和计算机辅助验证相关领域 IEC 61508 认证计算机科学背景（考古学）功能（生物学）安全案例机器人学软件工程自动定理证明形式验证安全标准碰撞功能安全形式化方法人工智能机器人风险分析（工程）计算机安全程序设计语言可靠性工程政治学计算机网络法学古生物学工程类医学生物进化生物学
网址	https://doi.org/10.1007/s10514-011-9271-y
DOI	10.1007/s10514-011-9271-y doi
其它	期刊：Autonomous Robots 作者：Holger Täubig; Udo Frese; Christoph Hertzberg; Christoph Lüth; Stefan Mohr; et al 出版日期：2011-12-21
求助人	易达在 2025-07-29 16:23:12 发布自广东，悬赏 10 积分
下载	求助已完成，仅限求助人下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

提交工单

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

站在巨人的肩膀上，才更有可能跳的更远

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

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

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

更新

2025年影响因子查询已上线 (2025-6-18)

更新

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

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

实时播报: 大模型上传了应助文件

10秒前; 科研通AI2S上传了应助文件

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

29秒前; 科研通AI2S的应助被科研通管家采纳，获得10

49秒前; 华仔上传了应助文件

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

1分钟前; tutu发布了新的文献求助30

1分钟前; 量子星尘发布了新的文献求助10

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

1分钟前; 大模型上传了应助文件

1分钟前; 胖小羊完成签到，获得积分10

2分钟前; 杪夏二八完成签到，获得积分10

2分钟前; 科研通AI5上传了应助文件

2分钟前; 量子星尘发布了新的文献求助10

2分钟前; 科研通AI2S上传了应助文件

2分钟前; xvlir的应助被科研通管家采纳，获得10

2分钟前; 情怀上传了应助文件

3分钟前; 赵柔柔发布了新的文献求助20

3分钟前; 小蘑菇的应助被优美香露采纳，获得30

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

3分钟前; 优美香露发布了新的文献求助30

3分钟前; 科研通管家关闭了优美香露的文献求助

3分钟前; 优美香露发布了新的文献求助10

3分钟前; 酷酷小子完成签到，获得积分10

3分钟前; 丘比特的应助被yao采纳，获得10

3分钟前; 科研通管家关闭了优美香露的文献求助

4分钟前; 优美香露发布了新的文献求助10

4分钟前; 江南春完成签到，获得积分10

4分钟前; 量子星尘发布了新的文献求助10

4分钟前; 盐焗小星球完成签到，获得积分10

4分钟前; MchemG上传了应助文件

4分钟前; 科研通管家关闭了优美香露的文献求助

5分钟前; 优美香露发布了新的文献求助10

5分钟前; MchemG上传了应助文件

5分钟前; 领导范儿上传了应助文件

5分钟前; 科研通AI2S的应助被优美香露采纳，获得30

5分钟前; 科研通AI2S上传了应助文件

5分钟前; 量子星尘发布了新的文献求助10

5分钟前; 烟花上传了应助文件

5分钟前; tutu发布了新的文献求助30

6分钟前

高分求助中: Semantics for Latin: An Introduction 1155; Genomic signature of non-random mating in human complex traits 1000; Plutonium Handbook 1000; Three plays : drama 1000; Robot-supported joining of reinforcement textiles with one-sided sewing heads 600; SPSS for Windows Step by Step: A Simple Study Guide and Reference, 17.0 Update (10th Edition) 500; Multimodal injustices: Speech acts, gender bias, and speaker’s status 400

热门求助领域（近24小时）

热门帖子: 关注科研通微信公众号，转发送积分 4105677; 求助须知：如何正确求助？哪些是违规求助？ 3643611; 关于积分的说明 11542692; 捐赠科研通 3350903; 什么是DOI，文献DOI怎么找？ 1841150; 邀请新用户注册赠送积分活动 907910; 科研通“疑难数据库（出版商）”最低求助积分说明 825065

今日热心研友

乐乐乐乐乐乐

碧蓝金针菇

注：热心度 = 本日应助数 + 本日被采纳获取积分÷10

Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved

科研通是非营利科研互助平台，不忘初心，为科研助力

本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播

皖ICP备2024041134号-1

皖公网安备34019202002308

科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】

科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入

关注微信服务号

科研通