发布文献求助
已完结
  • 文献求助详情
标题
Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges
安全关键自治系统控制器的形式化综合：发展与挑战
相关领域
生命关键系统 临界系统 风险分析（工程） 系统工程 计算机科学 控制工程 工程类 业务 软件 程序设计语言
网址
https://doi.org/10.1016/j.arcontrol.2024.100940
DOI
10.1016/j.arcontrol.2024.100940 doi
其它 期刊：Annual Reviews in Control
作者：Xiang Yin; Bingzhao Gao; Xiao Yu
出版日期：2024-01-01
求助人
xuan21 在 2024-03-14 15:17:31 发布自江苏，悬赏 10 积分
下载 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
该求助已完结，感谢关注
如需该文献，请重新发布求助，前往发布
科研通，让源源不断科研创作灵感的涌现之地
请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习
更新
大幅提高文件上传限制，最高150M (2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
wxnice发布了新的文献求助10
刚刚
缥缈八宝粥完成签到，获得积分10
1秒前
2秒前
王鑫发布了新的文献求助10
2秒前
2秒前
Owen的应助被占以寒采纳，获得10
3秒前
yangshiyu发布了新的文献求助10
3秒前
4秒前
4秒前
zcg发布了新的文献求助10
4秒前
乐乐的应助被没用的三轮采纳，获得10
4秒前
孔钧完成签到，获得积分10
5秒前
5秒前
6秒前
6秒前
MMP的应助被xxxwwwx采纳，获得10
6秒前
英仙座小仙女完成签到 ，获得积分10
7秒前
adiao发布了新的文献求助20
7秒前
De_Frank123的应助被weiv采纳，获得20
7秒前
7秒前
大气的笑蓝完成签到，获得积分20
7秒前
8秒前
wxnice完成签到，获得积分10
8秒前
探索的应助被杀出个黎明采纳，获得10
9秒前
笑看人生的应助被青青在努力采纳，获得50
9秒前
养乐多的应助被琦qi采纳，获得10
10秒前
zzzbx呐发布了新的文献求助10
10秒前
10秒前
Hello的应助被Vincent采纳，获得10
10秒前
赵庆远发布了新的文献求助10
10秒前
psybao发布了新的文献求助10
11秒前
11秒前
一条热带鱼完成签到，获得积分10
11秒前
SOLOMON举报lihuiying5aini的求助涉嫌违规
11秒前
12秒前
行璐怡发布了新的文献求助10
12秒前
14秒前
不知道就嘿嘿完成签到，获得积分10
14秒前
活佛济公发布了新的文献求助10
14秒前
14秒前
高分求助中
Петров Ю.В., Ерыкалов А.Н., Котова Л.М. и др. Алюминиевый ПИК с пониженным расходом высокообогащенного урана: Препринт ПИЯФ-2499. Гатчина, 2002. 57 с 1500
Teaching Social and Emotional Learning in Physical Education 900
Particle strengthening of metals and alloys 500
Transferrin affects food intake and reproduction in the hard tick Haemaphysalis longicornis 400
Lexique et typologie des poteries: pour la normalisation de la description des poteries (Full Book) 400
Sustainable Land Management: Strategies to Cope with the Marginalisation of Agriculture 400
Transformerboard III 300
热门求助领域 （近24小时）
化学 材料科学 医学 生物 有机化学 工程类 生物化学 纳米技术 物理 内科学 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 电极 光电子学 量子力学
热门帖子
关注 科研通微信公众号，转发送积分 2353207
求助须知：如何正确求助？哪些是违规求助？ 2059279
关于积分的说明 5135580
捐赠科研通 1789952
什么是DOI，文献DOI怎么找？ 893907
版权声明 557148
科研通“疑难数据库（出版商）”最低求助积分说明 477081
Copyright © 2020-2024 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：826996720【点击一键加群】 如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通