位置：立项数据库 > 立项详情页
嵌入式系统的自动验证技术
  • 项目名称：嵌入式系统的自动验证技术
  • 项目类别：青年科学基金项目
  • 批准号：69703008
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：虞慧群
  • 依托单位：华东理工大学
  • 批准年度：1997
虞慧群的项目
面向方面软件结构模型设计及验证技术
期刊论文 47 会议论文 28
感知时间和情景的存取控制策略建模与实施
期刊论文 26 会议论文 9 获奖 1 著作 1
基于服务的信息物理融合系统软件结构建模方法
期刊论文 71 会议论文 22