CORC

在结果中检索

CORC

浏览/检索结果: 共8条，第1-8条 帮助

已选(0)清除 条数/页：   排序方式：
一个高效BDD的简洁实现 期刊论文
2016, 2016
苏开乐; 吕关锋; 宋炯; SU Kai-Le; LV Guan-Feng; SONG Jiong
收藏  |  浏览/下载：3/0
基于灾变遗传算法的二叉判定图最小化算法 期刊论文
计算机工程与应用, 2015, 卷号: 第51卷 第3期, 页码: 55-60
作者:  王镇道;  陈义
收藏  |  浏览/下载：10/0  |  提交时间：2019/12/31
实时系统非空性模型检测工具及技术 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
彭云全
收藏  |  浏览/下载：7/0  |  提交时间：2011/03/17
离散时间自动机模型检测工具的设计与实现 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
张文亮
收藏  |  浏览/下载：11/0  |  提交时间：2011/03/17
MOS电流模逻辑标准单元设计方法 期刊论文
2007, 卷号: 24, 期号: 2, 页码: 192-194
作者:  黄健声;  梁蓓
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/31
基于遗传禁忌混合策略的二叉判定图最小化算法研究 期刊论文
信息与控制, 2005, 卷号: 34, 期号: 2, 页码: 142-146
作者:  于海斌;  王明全
收藏  |  浏览/下载：4/0  |  提交时间：2010/11/29
二叉判定图最优化算法研究综述 期刊论文
信息与控制, 2004, 卷号: 33, 期号: 5, 页码: 567-572
作者:  王宏;  王明全;  于海斌
收藏  |  浏览/下载：11/0  |  提交时间：2010/11/29
基于T3BDD的动态模型检查S 期刊论文
软件学报, 1999, 卷号: 10, 期号: 10
倪彬; 冯玉琳; 黄涛
收藏  |  浏览/下载：4/0  |  提交时间：2010/08/20

©版权所有 ©2017 CSpace - Powered by CSpace