标题 |
Formal Verification of Safety-Critical Aerospace Systems
安全关键航空航天系统的正式验证
相关领域
航空航天
形式验证
形式化方法
计算机科学
运行时验证
不确定性算法
模型检查
生命关键系统
正式规范
软件验证
自动定理证明
软件
系统工程
软件工程
软件系统
工程类
程序设计语言
算法
航空航天工程
软件建设
|
网址 | |
DOI | |
其它 |
期刊:IEEE Aerospace and Electronic Systems Magazine 作者:Saswata Paul; Elkin Cruz-Camacho; Airin Dutta; Ankita Bhaumik; Erik Blasch; et al 出版日期:2023-01-25 |
求助人 | |
下载 | 该求助完结已超 24 小时,文件已从服务器自动删除,无法下载。 |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|