发布文献求助
亲爱的研友该休息了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！身体可是革命的本钱，早点休息，好梦！
待确认
  • 文献求助详情
标题
Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements
网址
http://dx.doi.org/10.1109/tits.2023.3324022
DOI
10.1109/tits.2023.3324022 doi
其它 期刊：IEEE Transactions on Intelligent Transportation Systems
作者：Xiaohong Chen; Juan Zhang; Zhi Jin; Min Zhang; Tong Li; et al
出版日期：2023-12-01
求助人
小小的紫蛋 在 2026-07-14 18:00:51 发布自广东，悬赏 10 积分
下载
上个求助
下个求助
提交工单
求助 / 应助时间线

  • 请等待求助人确认

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

  • 7小时前

    xuejingling xuejingling Lv7 上传了文件

    待审核 Empowering_Domain_Experts_With_Formal_Methods_for_Consistency_Verification_of_Safety_Requirements.pdf (1.37 MB)
    温馨提示：本文件中的下载单位、IP等隐私信息已被删除。如有遗漏，请 提交工单 反馈。

  • 7小时前

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

    18:00:54 未找到该文献，机器人已退出，请等待人工下载
    18:00:52 科研通AI机器人（广州）收到请求，开始寻找文献
    18:00:51 已向机器人发送请求

  • 7小时前

    小小的紫蛋 小小的紫蛋 Lv4 求助人 发起了本次求助

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
酷波er的应助被不会骑车的猪采纳，获得10
1秒前
AIRoboter发布了新的文献求助10
2秒前
刻苦沁完成签到，获得积分10
6秒前
senli2018发布了新的文献求助10
7秒前
tzjz_zrz完成签到，获得积分10
17秒前
21秒前
摸鱼大王完成签到 ，获得积分10
23秒前
23秒前
23秒前
Kao的应助被科研通管家采纳，获得10
25秒前
所所的应助被科研通管家采纳，获得30
25秒前
共享精神的应助被科研通管家采纳，获得10
25秒前
Kao的应助被科研通管家采纳，获得10
26秒前
深情安青的应助被科研通管家采纳，获得10
26秒前
26秒前
隐形紫霜发布了新的文献求助10
27秒前
28秒前
机灵自中完成签到，获得积分10
28秒前
清脆保温杯完成签到，获得积分10
28秒前
kk完成签到 ，获得积分10
29秒前
29秒前
科目三的应助被yysh1950采纳，获得10
32秒前
33秒前
34秒前
隐形紫霜完成签到，获得积分10
37秒前
寒冷的月亮完成签到 ，获得积分10
37秒前
9527的应助被awa606采纳，获得10
37秒前
tony1102完成签到，获得积分10
38秒前
tony1102发布了新的文献求助10
40秒前
Cosmosurfer完成签到，获得积分10
42秒前
Lucas的应助被清脆保温杯采纳，获得10
46秒前
飞哥与小佛完成签到，获得积分10
49秒前
北海完成签到，获得积分10
52秒前
犹豫山菡完成签到，获得积分10
59秒前
awa606发布了新的文献求助10
1分钟前
小二郎的应助被王先生采纳，获得10
1分钟前
1分钟前
1分钟前
1分钟前
北冥天宇完成签到 ，获得积分10
1分钟前
高分求助中
Principles of Economics, 11th Edition 10000
University Physics with Modern Physics, 16th edition 10000
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Arthritis and Related Conditions, An Issue of Orthopedic Clinics 1000
Development of a Bridge Weigh-In-Motion System: A technology to convert the bridge response to the passage of traffic into data on vehicle configurations, speeds, times of travel and weights 1000
ズームレンズの光学設計に関する研究 800
Fundamentals of Pharmaceutical and Biologics Regulations: A Global Perspective, Second Edition 700
热门求助领域 （近24小时）
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 内科学 物理 复合材料 催化作用 细胞生物学 无机化学 光电子学 物理化学 电极 基因
热门帖子
关注 科研通微信公众号，转发送积分 7289562
求助须知：如何正确求助？哪些是违规求助？ 8908992
关于积分的说明 18856273
捐赠科研通 6957730
什么是DOI，文献DOI怎么找？ 3209040
关于科研通互助平台的介绍 2378793
邀请新用户注册赠送积分活动 2184798
Copyright © 2020-2026 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：821889395【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通