您的位置： 专家智库 > >

国家自然科学基金(60573081)

作品数：1 被引量：10H指数：1
相关作者：孙猛杨红丽裘宗燕张乃孝更多>>
相关机构：北京大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

领域

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

主题

  • 1个形式化
  • 1个英文
  • 1个软件结构
  • 1个状态机
  • 1个自动生成
  • 1个领域语言
  • 1个精化
  • 1个开发环境
  • 1个基于UML
  • 1个集成开发环境
  • 1个RSL
  • 1个UML
  • 1个CSP
  • 1个GARMEN...
  • 1个RAISE
  • 1个GARDEN

机构

  • 1个北京大学
  • 1个华东师范大学
  • 1个联合国大学

作者

  • 1个张乃孝
  • 1个裘宗燕
  • 1个珺小明
  • 1个杨红丽
  • 1个孙猛

传媒

  • 1个北京大学学报...
  • 1个中国科学（E...
共 1 条 记 录，以下是 1-1
国家自然科学基金(60473056)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共1页<1>
聚类工具0