位置：立项数据库 > 立项详情页
智能体交互合作的逻辑建模与验证技术研究
  • 项目名称：智能体交互合作的逻辑建模与验证技术研究
  • 项目类别：面上项目
  • 批准号：61572234
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：陈清亮
  • 依托单位：暨南大学
  • 批准年度：2015
陈清亮的项目
计算机科学的算法基础研究
期刊论文 2
基于智能体理论的Web服务系统的建模与形式化验证研究
期刊论文 11 会议论文 3
　基于多智能体系统建模的Web服务形式化验证技术研究
期刊论文 1
　基于多智能体系统建模的Web服务形式化验证技术研究