位置：立项数据库 > 立项详情页
　面向属性的复杂网络协议验证与测试集成方法研究
  • 项目名称：　面向属性的复杂网络协议验证与测试集成方法研究
  • 批准号：20101501110003
  • 项目来源：高等学校博士学科点专项科研基金项目
  • 研究期限：2011-03--
  • 项目负责人：叶新铭
  • 依托单位：内蒙古大学
  • 批准年度：0
叶新铭的项目
下一代网络协议的形式验证和测试方法的研究
期刊论文 26
非确定性分布式系统的测试方法和工具的研究
期刊论文 5
工作流支持的电子商务柔性建模与验证方法的研究
期刊论文 7 会议论文 1
分布式系统的形式描述技术与测试方法的研究
期刊论文 10