位置：成果数据库 > 期刊 > 期刊详情页
Learning-oriented Property Decomposition for Automated Generation of Directed Tests
  • ISSN号：0923-8174
  • 期刊名称：Journal of Electronic Testing: Theory and Applicat
  • 时间：2014
  • 页码：287-306
  • 相关项目：基于高阶规约定向测试的异构系统验证研究
作者： 陈铭松|Xiaoke Qin|Prabhat Mishra|
同期刊论文项目
基于高阶规约定向测试的异构系统验证研究
期刊论文 8 会议论文 9 著作 1
同项目期刊论文
基于GPU平台的有效字典压缩与解压缩技术
一种基于约束求解的Verilog语言静态分析方法
Efficient Resource Constrained Scheduling using Parallel Structure-Aware Pruning Techniques
不确定环境下基于价格时间自动机的智能大厦空调系统调度策略评估
不确定环境下智能大厦空调系统调度策略评估