您的位置: 专家智库 > >

国家自然科学基金(60173030)

作品数:18 被引量:92H指数:6
相关作者:缪淮扣刘玲高晓雷陈怡海刘静更多>>
相关机构:上海大学杭州师范大学东莞理工学院更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术电子电信经济管理更多>>

领域

  • 1个经济管理
  • 1个自动化与计算...

主题

  • 1个动画
  • 1个动画技术
  • 1个动画模拟
  • 1个对象约束语言
  • 1个多态
  • 1个形式规格说明
  • 1个形式化
  • 1个形式化方法
  • 1个形式化描述
  • 1个形式化验证
  • 1个形式化验证方...
  • 1个修饰
  • 1个义学
  • 1个有限状态机
  • 1个语义
  • 1个语义学
  • 1个软件设计
  • 1个软件设计模式
  • 1个软件体系结构
  • 1个软件体系结构...

机构

  • 1个杭州师范大学
  • 1个杭州电子科技...
  • 1个上海第二工业...
  • 1个江西财经大学
  • 1个上海大学
  • 1个上海水产大学

作者

  • 1个孙军梅
  • 1个朱江
  • 1个黎升洪
  • 1个周静
  • 1个钱忠胜
  • 1个周建云
  • 1个李晓博
  • 1个费立志
  • 1个张新林
  • 1个文志诚
  • 1个朱彬
  • 1个缪淮扣
  • 1个陈怡海
  • 1个王娜
  • 1个陈圣波
  • 1个滕中梅
  • 1个许庆国
  • 1个曾红卫
  • 1个占学德
  • 1个沈毅

传媒

  • 1个华中科技大学...
  • 1个计算机工程
  • 1个计算机应用与...
  • 1个计算机应用
  • 1个计算机工程与...
  • 1个应用科学学报
  • 1个计算机工程与...
  • 1个上海大学学报...
  • 1个计算机科学
  • 1个Wuhan ...
1 条 记 录,以下是 1-1
共1页<1>
聚类工具0