位置：立项数据库 > 立项详情页
　基于正确性验证的ｗｅｂ服务可信性研究
  • 项目名称：　基于正确性验证的ｗｅｂ服务可信性研究
  • 批准号：2006AA01Z160
  • 项目来源：“十一五”国家高技术研究发展计划（863计划）信息技术领域2006年度专题课题
  • 研究期限：2006-11-
  • 项目负责人：王捍贫
  • 依托单位：北京大学
  • 批准年度：2006
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 2
  • 0
  • 0
  • 0
  • 0
期刊论文
一种新的时段演算及其验证
最大边染色的指数时间算法
王捍贫的项目
基于Petri网的构件组装正确性研究
期刊论文 9 会议论文 12
基于分离逻辑的云存储管理程序正确性验证方法
混成系统的描述与验证理论研究
期刊论文 12 会议论文 3
基于分离逻辑的程序验证方法研究
期刊论文 9 获奖 2