位置：成果数据库 > 著作 > 著作详情页
System-Level Validation:High-Level Modeling and Directed Test Generation Techniques
  • 所属机构名称：华东师范大学
  • 时间：2014.9.1
  • 成果类型：著作
  • 出版社：Springer
  • 相关项目：基于高阶规约定向测试的异构系统验证研究
同著作项目
基于高阶规约定向测试的异构系统验证研究
期刊论文 8 会议论文 9 著作 1
同项目著作