位置：成果数据库 > 获奖 > 获奖详情页
软件系统的形式化设计和分析
  • 颁奖组织：上海市
  • 类别：2005年上海市科技进步三等奖 （自然科学基础类）
  • 级别：三等奖
  • 所属机构名称：华东理工大学
  • 成果类型：获奖
  • 相关项目：感知时间和情景的存取控制策略建模与实施
作者： 虞慧群, 邵志清, 宋国新, 张欢欢
同获奖项目
感知时间和情景的存取控制策略建模与实施
期刊论文 26 会议论文 9 获奖 1 著作 1
同项目获奖