标题 |
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements
从形式需求开发可验证飞机发动机控制器的方法
相关领域
计算机科学
形式验证
形式化方法
运行时验证
验证
验证和确认
正式规范
可验证秘密共享
功能验证
模型检查
软件验证
智能验证
软件工程
过程(计算)
需求获取
需求分析
系统工程
程序设计语言
软件系统
软件
工程类
软件建设
集合(抽象数据类型)
运营管理
|
网址 | |
DOI | |
其它 |
期刊:2022 IEEE Aerospace Conference (AERO) 作者:Matt Luckcuck; Marie Farrell; Oisín Sheridan; Rosemary Monahan 出版日期:2022-03-05 |
求助人 | |
下载 | 求助已完成,仅限求助人下载。 |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|