您的位置： 专家智库 > >

国家自然科学基金(60833001)

作品数：2 被引量：1H指数：1
相关作者：蒋颖高建华汪芳更多>>
相关机构：中国科学院软件研究所中国科学院大学中国联合网络通信集团有限公司更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 1个自动化与计算...
  • 1个理学

主题

  • 1个代数
  • 1个形式化
  • 1个形式化验证
  • 1个余代数
  • 1个可达性
  • 1个可满足性
  • 1个可视化
  • 1个互模拟
  • 1个交替式
  • 1个函子
  • 1个闭包
  • 1个NETWOR...
  • 1个NETWOR...
  • 1个STRATE...
  • 1个STRATE...
  • 1个CANONI...
  • 1个COMPLE...
  • 1个FISHER
  • 1个KRIPKE...
  • 1个MODEL

机构

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

作者

  • 1个柳欣欣
  • 1个高建华
  • 1个蒋颖
  • 1个周青
  • 1个李小燕

传媒

  • 1个计算机应用与...
  • 1个软件学报
  • 1个计算机系统应...
  • 1个Scienc...
共 1 条 记 录，以下是 1-1
国家自然科学基金(61161130530)
相关领域：自动化与计算机技术 理学
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共1页<1>
聚类工具0