发布文献求助
清晨好，您是今天最早来到科研通的研友！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您科研之路漫漫前行！
求助中
  • 文献求助详情
标题
Safety of the Intended Functionality Concept Integration into a Validation Tool Suite
将预期功能概念集成到验证工具套件中的安全性
相关领域
一套 计算机科学 过程（计算） 光学（聚焦） 系统工程 软件工程 工程类 程序设计语言 历史 光学 物理 考古
网址
https://doi.org/10.1145/3672359.3672369
AI链接 arxiv.org arxiv.orgdoi.org
DOI
10.1145/3672359.3672369 doi
其它 期刊：ACM SIGAda Ada Letters
作者：Víctor J. Expósito Jiménez; Bernhard Winkler; Joaquim M. Castella Triginer; Heiko Scharke; H Schneider; et al
出版日期：2024-06-06
求助人
易达 在 2025-07-21 09:36:27 发布自广东，悬赏 10 积分
下载 暂无链接，等待应助者上传
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
提交工单
相关文献
  1. RTRBench: A Benchmark Suite for Real-Time Robotics
  2. SUITE 2010
  3. An evaluation of the Meiko CS-2 using the GENESIS Benchmark Suite
  4. Lille suite = Kleine Suite = Little suite : op. 1
  5. Perspector: Benchmarking Benchmark Suites
  6. Reflections on the creation of a real-time parallel benchmark suite
  7. Winter suite.
  8. Water music, suite in F, suite in G, suite in D
  9. L'Arlesienne suite no. 1 ; L'Arlesienne suite no. 2 ; Carmen suite
  10. Gayaneh : suite ; Masquerade : suite ; Spartacus : suite . Caucasian sketches : op. 10
　...点击展开更多...　
求助 / 应助时间线

  • 现在，等待您上传文献

  • 20小时前

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

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

  • 20小时前

    易达 易达 Lv53 求助人 发起了本次求助

更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
KKIII发布了新的文献求助10
5秒前
12秒前
岁岁发布了新的文献求助10
15秒前
海阔天空完成签到 ，获得积分10
18秒前
大水完成签到 ，获得积分10
21秒前
22秒前
24秒前
玩命做研究完成签到 ，获得积分10
37秒前
偷得浮生半日闲完成签到，获得积分10
57秒前
1分钟前
fang的应助被科研通管家采纳，获得10
1分钟前
fang的应助被科研通管家采纳，获得10
1分钟前
1分钟前
Jasper的应助被顺顺采纳，获得10
1分钟前
digger2023完成签到 ，获得积分10
1分钟前
2分钟前
黄芩完成签到 ，获得积分10
2分钟前
chichenglin完成签到 ，获得积分0
2分钟前
滕皓轩完成签到 ，获得积分20
3分钟前
3分钟前
Nora完成签到 ，获得积分10
3分钟前
卓初露完成签到 ，获得积分10
4分钟前
Willy完成签到，获得积分10
4分钟前
longlonglong完成签到，获得积分10
4分钟前
Sew东坡完成签到，获得积分10
4分钟前
动人的诗霜完成签到 ，获得积分10
5分钟前
辻诺完成签到 ，获得积分10
5分钟前
蒲公英完成签到 ，获得积分10
5分钟前
传奇3的应助被参上采纳，获得10
5分钟前
5分钟前
木头发布了新的文献求助10
5分钟前
zhuosht完成签到 ，获得积分10
5分钟前
jerry完成签到 ，获得积分10
6分钟前
6分钟前
Benhnhk21完成签到，获得积分10
6分钟前
Herbs完成签到 ，获得积分10
6分钟前
领导范儿的应助被迅速的岩采纳，获得10
6分钟前
rockyshi完成签到 ，获得积分10
6分钟前
辣辣辣辣辣辣完成签到 ，获得积分10
6分钟前
如履平川完成签到 ，获得积分10
6分钟前
高分求助中
【请各位用户详细阅读此贴后再求助】科研通的精品贴汇总(请勿应助) 10000
The Mother of All Tableaux: Order, Equivalence, and Geometry in the Large-scale Structure of Optimality Theory 3000
Global Eyelash Assessment scale (GEA) 1000
Maritime Applications of Prolonged Casualty Care: Drowning and Hypothermia on an Amphibious Warship 500
Comparison analysis of Apple face ID in iPad Pro 13” with first use of metasurfaces for diffraction vs. iPhone 16 Pro 500
Towards a $2B optical metasurfaces opportunity by 2029: a cornerstone for augmented reality, an incremental innovation for imaging （YINTR24441） 500
Materials for Green Hydrogen Production 2026-2036: Technologies, Players, Forecasts 500
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号，转发送积分 4054199
求助须知：如何正确求助？哪些是违规求助？ 3592202
关于积分的说明 11413913
捐赠科研通 3318351
什么是DOI，文献DOI怎么找？ 1825013
邀请新用户注册赠送积分活动 896271
科研通“疑难数据库（出版商）”最低求助积分说明 817418
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通