您的位置: 专家智库 > >

孙冕

作品数:2 被引量:0H指数:0
供职机构:清华大学更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇中文专利

领域

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

主题

  • 2篇软件模型
  • 2篇系统模型
  • 2篇模块库
  • 2篇环境模型
  • 2篇错误率
  • 1篇形式化
  • 1篇形式化建模
  • 1篇软件测试

机构

  • 2篇清华大学

作者

  • 2篇夏默
  • 2篇罗贵明
  • 2篇孙冕

年份

  • 1篇2017
  • 1篇2013
2 条 记 录,以下是 1-2
排序方式:
基于模块建模与模型检测一体化系统检测装置
本发明提出一种基于模块建模与模型检测一体化系统检测装置,包括:软件模块,用于通过原子模块库和组件模块库对待检测软件建立模型;环境模块,用于通过原子模块库和组件模块库对待检测软件所处的环境建立环境模型;属性模块,用于根据待...
罗贵明夏默孙冕刘湖钰卢欣晔
文献传递
基于模块建模与模型检测一体化系统检测装置
本发明提出一种基于模块建模与模型检测一体化系统检测装置,包括:软件模块,用于通过原子模块库和组件模块库对待检测软件建立模型;环境模块,用于通过原子模块库和组件模块库对待检测软件所处的环境建立环境模型;属性模块,用于根据待...
罗贵明夏默孙冕刘湖钰卢欣晔
共1页<1>
聚类工具0