登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

基于时间模型的实时系统测试方法研究
出版社：中国科学院
出版年：2006
作者：陈伟
资源类型：图书
细分类型：中文文献,学位论文
3浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

基于Event-B语言的实时系统时间属性分析与建模方法研究
  • 作者：姚袭欣
  • 出版社：中国科学技术大学
  • 出版年：2022
...

基于整数时间的实时系统符号化模型检测技术
  • 作者：晏荣杰
  • 出版社：中国科学院
  • 出版年：2007
...

基于模型驱动的实时数据发布系统研究与应用
  • 作者：李昊彦
  • 出版社：中国科学院
  • 出版年：2008
...

基于模糊数据模型的CAI智能测试方法研究
  • 作者：吴剀（左吉右力）
  • 出版年：1999
...

基于CP-nets模型的IOCO一致性测试方法研究
  • 作者：刘靖
  • 出版年：2011
...

基于特征模型的组合测试用例自动生成方法研究
  • 作者：江志强
  • 出版社：中国科学院空间应用工程与技术中心
  • 出版年：2018