标题 |
Application Research of Formal Verification in Aerospace FPGA
形式化验证在航天FPGA中的应用研究
相关领域
航空航天
现场可编程门阵列
形式验证
功能验证
智能验证
计算机科学
软件验证
验证
形式化方法
高级验证
验证和确认
嵌入式系统
模型检查
FPGA原型
钥匙(锁)
可靠性(半导体)
系统工程
软件
可靠性工程
软件工程
软件系统
工程类
程序设计语言
航空航天工程
操作系统
软件建设
物理
功率(物理)
量子力学
运营管理
|
网址 | |
DOI | |
其它 |
期刊:2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) 作者:Shiyu Liu; Dongfang Li; Wei Shen; Zhihao Wang; Guang Yang; et al 出版日期:2021-12-01 |
求助人 | |
下载 | 该求助完结已超 24 小时,文件已从服务器自动删除,无法下载。 |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|