位置：立项数据库 > 立项详情页
　界程演算模型检测算法及检测工具研究
  • 项目名称：　界程演算模型检测算法及检测工具研究
  • 批准号：2016J01304
  • 项目来源：2016年度福建省自然科学基金项目
  • 研究期限：2016-03-
  • 项目负责人：林荣德
  • 依托单位：华侨大学数学科学学院
  • 批准年度：2016
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 1
  • 0
  • 0
  • 0
  • 0
期刊论文
命题μ-演算局部模型检测高效算法设计
林荣德的项目