登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
基于IC3算法的Petri网可覆盖性分析
出版社:
中国科学院软件研究所
出版年:
2022
作者:
康嘉文
资源类型:
图书
细分类型:
学位论文
2浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
基于遗传算法优化3D NAND Flash产品功能覆盖率的方法
作者:
冯建宇
出版年:
2021
巨型星座覆盖分析方法及性能研究
作者:
吕林立
出版年:
2021
复杂环境下多智能体协同覆盖动态算法设计与性能分析
作者:
葛超
出版社:
中国科学院数学与系统科学研究院
出版年:
2024
中亚五国植被覆盖变化与气候因子相关性分析
作者:
索玉霞
出版年:
2009
基于树库统计信息的广覆盖汉语完全句法分析器的研究
作者:
张浩
出版年:
2003
基于组合覆盖的编译时可配置软件的静态分析
作者:
燕东
出版年:
2017
×
访问借阅管理系统