机译:使用实时自动化临床标准验证减少梭菌艰难梭菌感染(CDI)率,以强制执行适当的测试
机译:第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
机译:第22届工业关键系统和第17届国际讲习班关于关键系统自动验证的第17次国际研讨会的第22次国际讲习班
机译:第一次自动程序分析,测试和验证国际研讨会(研讨会)
机译:使用不变分析和测试输入生成来自动进行程序验证和修复。
机译:使用实时自动临床标准验证来实施适当的测试降低艰难梭菌感染率(CDI)。
机译:通过自动化的国家在线测试和旋转模型检查器应用于RTEGGE模型来验证实时嵌入式软件
机译:医学实验室单任务自动化研究,自动多通道自动分析仪分析系统的开发和测试。