|
已选(0)清除
条数/页： 排序方式： |
| BitTorrent协议的Petri网建模方法研究 期刊论文
系统仿真学报, 2011, 卷号: 23.0, 期号: 011, 页码: 2312
作者: 刘靖 ; 叶新铭; 李军
  收藏 | 浏览/下载：9/0 | 提交时间：2023/12/04
BitTorrent协议 着色Petri网 层次建模 模型确认 模型检验 |
| 无权访问的条目 期刊论文
作者: 赵阳; 吕涛; 李华伟; 李晓维
Adobe PDF(640Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/18 |
| 无权访问的条目 期刊论文
作者: 刘领一; 赵阳; 吕涛; 李华伟; 李晓维
Adobe PDF(271Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/11/22 |
| 无权访问的条目 期刊论文
作者: 陈云霁; 张健; 沈海华; 胡伟武
Adobe PDF(413Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/21 |
| 一种基于SAT的运算电路查错方法 期刊论文
计算机学报, 2007, 卷号: 30.0, 期号: 012, 页码: 2082
作者: 陈云霁; 张健; 沈海华; 胡伟武
收藏 | 浏览/下载：9/0 | 提交时间：2023/12/04
形式验证 模型检验 SAT E—CNF 标志子句 |
| 无权访问的条目 期刊论文
作者: 陈云霁; 马 麟; 沈海华; 胡伟武
Adobe PDF(514Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/15 |
| 龙芯2号微处理器浮点除法功能部件的形式验证 期刊论文
计算机研究与发展, 2006, 卷号: 43, 期号: 10, 页码: 1835
作者: 陈云霁; 马麟; 沈海华; 胡伟武
收藏 | 浏览/下载：9/0 | 提交时间：2023/12/04
形式验证 字级模型检验 有界模型检验 |
