首页 | 本学科首页   官方微博 | 高级检索  
     

基于Petri网模型的OSPF路由算法的测试序列生成
作者单位:内蒙古大学计算机学院,;内蒙古大学计算机学院,
基金项目:国家自然科学基金;国家高技术研究发展计划(863计划)
摘    要:

关 键 词:动态路由协议  最短路径树  一致性测试  测试序列  变量使用
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号