已选(0)清除
条数/页: 排序方式: |
| 无权访问的条目 期刊论文 作者: 罗腊咏; 谢应科; 谢高岗
Adobe PDF(426Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2011/03/08 |
| 无权访问的条目 期刊论文 作者: 黄昆; 谢高岗
Adobe PDF(505Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2011/03/08 |
| 无权访问的条目 期刊论文 作者: 贺鹏; 姜海洋; 谢高岗
Adobe PDF(263Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2011/03/08 |
| 路由协议的符号化测试生成 期刊论文 计算机学报, 2010, 卷号: 33.0, 期号: 003, 页码: 589 作者: 邢熠; 叶新铭; 谢高岗
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 协议一致性测试 统一语义模型 符号测试生成 符号执行 数据选择 |
| 网络协议测试的符号化一致性关系研究 期刊论文 计算机工程与应用, 2008, 卷号: 44.0, 期号: 029, 页码: 11 作者: 邢熠; 叶新铭; 谢高岗
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 符号化一致性关系 一致性 则试 输入输出符号变迁系统(IOTS) |
| 布鲁姆过滤器代数运算探讨 期刊论文 电子学报, 2008, 卷号: 36.0, 期号: 005, 页码: 869 作者: 谢鲲; 张大方; 文吉刚; 谢高岗; 尤志强
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 计算机网络 分布式计算 分布式消息系统 集合元素查询 代数运算 |
| IP网可测可控可管的研究现状和若干重要发展趋势 期刊论文 通信学报, 2008, 卷号: 29.0, 期号: 012, 页码: 96 作者: 孟洛明; 谢高岗; 邱雪松; 李慧; 隆克平; 杨义先; 曾烈光
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 IP网 网络测量 网络管理 网络控制 |
| 无权访问的条目 期刊论文 作者: 王 丹; 谢高岗; 杨建华; 张广兴; 李振宇
Adobe PDF(553Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/13 |
| 无权访问的条目 期刊论文 作者: 谢鲲; 闵应骅; 张大方; 谢高岗; 文吉刚
Adobe PDF(806Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/20 |
| 无权访问的条目 期刊论文 作者: 李振宇; 谢高岗; 李忠诚
Adobe PDF(603Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/21 |