期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于形式化方法的因特网路由协议的一致性测试(英文)
1
作者 毕军 吴建平 《软件学报》 EI CSCD 北大核心 2000年第4期427-434,共8页
并发数表组合表述法 (并发 TTCN)是可以描述并发测试行为的测试表述法 .该文提出一种基于并发TTCN的分布式路由协议的测试方法 .首先讨论路由协议实体的测试结构 ,然后给出基于并发 TTCN测试系统的设计 .
关键词 一致行测试 路由协议 INTERNET网 形式化方法
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部