| 标题 |
 Formal Certification Methods for Automated Vehicle Safety Assessment 自动化车辆安全评估的正式认证方法
相关领域
计算机科学
认证
范围（计算机科学）
背景（考古学）
可达性
形式化方法
形式验证
安全案例
风险分析（工程）
过程（计算）
功能安全
系统安全
系统工程
软件工程
可靠性工程
工程类
算法
操作系统
生物
古生物学
程序设计语言
法学
理论计算机科学
医学
计算机网络
政治学
|
| 网址 | |
| DOI | |
| 其它 |
期刊：IEEE Transactions on Intelligent Vehicles 作者：Tong Zhao; Ekim Yurtsever; Joel A. Paulson; Giorgio Rizzoni 出版日期：2022-05-04 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
爱静静
乐乐乐乐乐乐
寻道图强
Frank
kento
yyymmma
樱桃猴子
fendy
Billy
浅尝离白
吃不饱星球球长
万能图书馆
共享精神
shinysparrow
清脆松
tuanheqi
sissiarno
timemaster666
ccm
sirius
皖公网安备34019202002308
