• 所属院系:计算机学院(软件学院)
年份: ~

按条件检索“1”条记录

已选条件:
导出
  • 排序
  • 显示
1. 关于路由协议的一致性测试的一种形式方法 CSCD 期刊论文 认领

作者:赵玉兰;刘咏梅;何立强;孟光萌;叶新铭

外文作者:ZHAO Yu-lan;LIU Yong-mei;HE Li-qiang;MENG Guang-meng;YE Xin-ming

第一作者:赵玉兰

作者机构:[赵玉兰;刘咏梅;何立强;孟光萌;叶新铭]内蒙古大学计算机学院,内蒙古,呼和浩特

来源:内蒙古大学学报(自然科学版),2000,Vol.31,Issue.6

基金:国家科技攻关项目

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:RIP协议;一致性测试;E-LOTOS;GE-LOTOS;TTCN;

摘要:为了一致性测试Internet网上的一个标准路由信息协议(RIP协议),利用形式描述技术语言E-LOTOS对其进行了描述,然后把文本描述的E-LOTOS转换为GE-LOTOS.并在此上产生 更多

更新时间:Mar 28, 2019
TOP