位置：成果数据库 > 获奖 > 获奖详情页
软件系统的形式化设计和分析
  • 类别：上海市科技进步三等奖, 2005
  • 级别：三等奖
  • 所属机构名称：华东理工大学
  • 成果类型：获奖
  • 相关项目：基于概念精化的嵌入式系统的构件开发方法
作者： 虞慧群, 邵志清, 宋国新, 张欢欢
同获奖项目
基于概念精化的嵌入式系统的构件开发方法
期刊论文 25 会议论文 6 获奖 1
同项目获奖