标题 |
Continuous Formal Verification for Aerospace Applications
航空航天应用的连续形式验证
相关领域
正确性
计算机科学
形式验证
功能验证
验证
智能验证
软件验证
运行时验证
形式化方法
形式等价性检查
航空航天
验证和确认
高级验证
软件工程
可执行文件
系统工程
正式规范
计算机仿真模型的验证与验证
迭代和增量开发
软件
软件开发
程序设计语言
软件建设
工程类
运营管理
统计
数学
航空航天工程
|
网址 | |
DOI | |
其它 |
期刊: 作者:Morgan McColl; Callum McColl; Aaron Pereira; Paulo de Souza; Gervase Tuxworth; et al 出版日期:2024-03-02 |
求助人 | |
下载 | 该求助完结已超 24 小时,文件已从服务器自动删除,无法下载。 |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|