The University of Wisconsin - Madison.;
机译:顺序过渡测试生成与约束组合卡住测试生成的等效性
机译:顺序转换试验生成和约束组合卡在试验中的等价性
机译:顺序过渡测试生成与约束组合卡住测试生成的等效性
机译:利用约束组合固定测试生成加速非循环时序电路的过渡测试生成
机译:基于可满足性的顺序测试生成和混合寄存器传输/门级电路可测试性的设计。
机译:高通量筛选:一步生产药物释放水凝胶微芯片芯片用于大规模顺序药物组合筛选(Adv.Sci.3 / 2019)
机译:对于多个延迟故障模型,顺序测试生成到组合测试生成的可简化性
机译:高次序电路的测试生成。