标题 |
AADL-Based safety analysis using formal methods applied to aircraft digital systems
基于AADL的形式化方法在飞机数字系统中的安全性分析
相关领域
计算机科学
可用的
组分(热力学)
过程(计算)
可靠性工程
系统安全
故障树分析
系统生命周期
建模语言
生命关键系统
系统工程
工程类
软件
程序设计语言
万维网
物理
热力学
应用程序生命周期管理
|
网址 | |
DOI | |
其它 |
期刊:Reliability Engineering & System Safety 作者:Danielle Stewart; Jing Liu; Darren Cofer; Mats P. E. Heimdahl; Michael W. Whalen; et al 出版日期:2021-04-21 |
求助人 | |
下载 | 求助已完成,仅限求助人下载。 |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|