登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

基于可满足性问题的形式验证技术研究
出版年：2008
作者：赵阳
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

可满足性问题研究
  • 作者：贾祥雪
  • 出版社：中国科学院
  • 出版年：2010
...

基于形式化方法的网络验证技术研究
  • 作者：方星
  • 出版社：中国科学院信息工程研究所
  • 出版年：2022
...

基于形式化的需求自动建模与健壮性验证技术研究
  • 作者：王一华
  • 出版社：中国科学院国家空间科学中心
  • 出版年：2022
...

可满足性问题和图染色的一些研究
  • 作者：李韶华
  • 出版社：中国科学院
  • 出版年：2005
...

基于UVM平台的SoC验证技术研究
  • 作者：崔嗣培
  • 出版社：中国科学院大学集成电路学院
  • 出版年：2022
...

关于可满足性问题的一些研究及其在模型检测中的应用
  • 作者：陈伟
  • 出版社：中国科学院
  • 出版年：2010