当前位置：
数字出版物超市 >> 
下一代网络协议的形式验证和测试方法的研究
下一代网络协议的形式验证和测试方法的研究
【项目名称】 下一代网络协议的形式验证和测试方法的研究
【项目编号】 60263002
【项目目标】
【项目关键词】 测试套 OSPFv3 形式验证 协议一致性测试 TTCN 下一代网络 路由软件 一致性测试 协议测试 协议说明 RIP协议 E-LOTOS GE-LOTOS BGP4+ 流量模型 测试执行 BGP XML 网络流量 时间特征 日志 预测误差 编辑流程 路由请求包 下一代互联网协议 路由选择协议 外部网 路由信息协议 ?
【项目承办单位】 内蒙古大学;
【项目负责人】 叶新铭;
【项目来源】 国家自然科学基金项目
【涉及学科】 互联网技术
【科研经费】 20万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    【项目成果摘要】
    【发布单位】 国家自然科学基金委员会
    【发布时间】 2001-12-04
    【申请截止时间】 2002-03-31
    【立项时间】 2003-01
    【完成时间】 2005-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....