| 标题 |
[高分]
Safe State Definition and Verification for Distributed Multi-Controller EMB Architectures 相关领域
可追溯性
可靠性工程
国家(计算机科学)
功能安全
工程类
计算机科学
系统安全
失效模式及影响分析
安全仪表系统
事件(粒子物理)
系统工程
风险分析(工程)
钥匙(锁)
系统体系结构
故障保护
断层(地质)
制动器
功能(生物学)
功能要求
建筑
系统设计
需求可追溯性
模式(计算机接口)
组分(热力学)
冗余(工程)
非功能性需求
|
| 网址 | |
| DOI |
10.4271/2026-01-0800
doi
|
| 其它 |
期刊:SAE Technical Paper Series 作者:Kang San Kim 出版日期:2026-09-15 |
| 求助人 | |
| 下载 | 求助已完成,仅限求助人或该文件上传人下载。 |
|
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)