已选(0)清除
条数/页: 排序方式: |
| 无权访问的条目 学位论文 作者: 陈思雅 Adobe PDF(2738Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2014/06/25 |
| PN4TS:一种基于CPN模型的IOCO测试选择方法 期刊论文 计算机学报, 2014, 卷号: 37.0, 期号: 012, 页码: 2451 作者: 刘靖; 李茹; 叶新铭; 李军 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 测试选择 测试目的 IOCO一致性 着色Petri网 同步模拟执行 |
| 无权访问的条目 学位论文 作者: 范乐君 Adobe PDF(3038Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2013/06/27 |
| 无权访问的条目 学位论文 作者: 公帅 Adobe PDF(2810Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2013/06/27 |
| 无权访问的条目 学位论文 作者: 王丽 Adobe PDF(2935Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2012/06/25 |
| 基于CPN的可信路由器发现协议建模与仿真分析 期刊论文 系统仿真学报, 2012, 卷号: 24.0, 期号: 003, 页码: 701 作者: 张珺; 刘靖; 叶新铭; 许智君 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 接入路由器身份认证 着色Petri网 仿真分析 协议验证 性能分析 |
| 无权访问的条目 学位论文 作者: 钱厚荣 Adobe PDF(2935Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2011/07/19 |
| 无权访问的条目 学位论文 作者: 刘靖 Adobe PDF(2692Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2011/07/06 |
| BitTorrent协议的Petri网建模方法研究 期刊论文 系统仿真学报, 2011, 卷号: 23.0, 期号: 011, 页码: 2312 作者: 刘靖; 叶新铭; 李军 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 BitTorrent协议 着色Petri网 层次建模 模型确认 模型检验 |
| 无权访问的条目 学位论文 作者: 张珺 Adobe PDF(2486Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/06/28 |