机译:通过将模型检查与执行测试相结合来为CPS提供测试环境
机译:HVAC系统测试和检查:简化模型,可预测适度环境下的热舒适条件
机译:具有检查释放到环境中的潜在污染材料和测试所用测量仪器的经验
机译:用户和环境友好型直接凝集试验用于内脏利什曼病的血清学诊断:在测试执行中排除甲醛和β-巯基乙醇
机译:产品线方法执行测试和模型检查的混合测试环境
机译:使用程序变异进行故障检测技术的经验评估:并发测试和模型检查的比较
机译:存在基因与环境相关性时按测量环境相互作用模型的规范测试和解释
机译:通过将模型检查与执行测试相结合来为CPS提供测试环境
机译:模型检测的广义符号执行