面向航天SOPC软件的形式化验证方法研究与应用

面向航天SOPC软件的形式化验证方法研究与应用

出版社：中国科学院空间应用工程与技术中心

出版年：2022

作者：周珊

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

面向可信认证及授权协议的形式化建模与验证研究

作者：汪彩梅
出版年：2018

面向航天应用的高可靠系统软件设计研究

作者：黄江泉
出版年：2012

数据通路型电路的形式化验证方法研究

作者：陈博文
出版年：2011

多核处理器任务调度算法及形式化验证方法研究

作者：谢盈
出版年：2018

数字硬件的形式化验证

作者：韩俊刚
ISBN：7301053320
出版社：北京大学出版社
出版年：2001

软件开发的形式化工程方法 :结构化 + 面向对象 + 形式化

作者：刘少英
ISBN：9787302183174
出版社：清华大学出版社
出版年：2008