您的位置： 专家智库 > >

国家自然科学基金(61161130530)

作品数：4 被引量：1H指数：1
相关作者：蒋颖高建华李小燕周青柳欣欣更多>>
相关机构：中国科学院大学中国科学院软件研究所中国科学院研究生院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术理学更多>>

领域

  • 5个自动化与计算...
  • 1个化学工程
  • 1个历史地理

主题

  • 2个代数
  • 2个形式化
  • 2个余代数
  • 2个可满足性
  • 2个互模拟
  • 2个函子
  • 2个闭包
  • 2个CANONI...
  • 2个FISHER
  • 2个KRIPKE...
  • 2个MODEL
  • 1个形式化验证
  • 1个形式语义
  • 1个易项
  • 1个陶瓷
  • 1个陶瓷科学
  • 1个青瓷
  • 1个显微结构
  • 1个模态逻辑
  • 1个可达性

机构

  • 5个中国科学院软...
  • 3个中国科学院大...
  • 1个中国科学院
  • 1个中国科学院研...

资助

  • 5个国家自然科学...

传媒

  • 3个软件学报
  • 2个计算机应用与...
  • 1个科学通报
  • 1个计算机系统应...
  • 1个2005年古...

地区

  • 5个北京市
共 5 条 记 录，以下是 1-5
柳欣欣
供职机构：中国科学院软件研究所
研究主题：MODEL FISHER CPS CONTINUATION CANONICAL
发表作品相关人物供职机构所获资助研究领域
蒋颖
供职机构：中国科学院软件研究所
研究主题：易项 KRIPKE结构 函子 计算机 互模拟
发表作品相关人物供职机构所获资助研究领域
高建华
供职机构：中国科学院软件研究所
研究主题：KRIPKE结构 函子 互模拟 余代数 显微结构
发表作品相关人物供职机构所获资助研究领域
李小燕
供职机构：中国科学院研究生院
研究主题：MODEL FISHER CANONICAL 闭包 可满足性
发表作品相关人物供职机构所获资助研究领域
周青
供职机构：中国科学院软件研究所
研究主题：形式化验证 交替式 可视化 可达性
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0