University of Illinois at Urbana-Champaign.;
机译:具有指定故障检测概率的自检微程序控制单元综合的新方法
机译:在不同注射阶段策略下柴油 - 甲醇行动中PPCI-RCCI制度的稳定排放稳定性谱表表征人工智能平台的发展和验证:基因表达规划方法
机译:如何在病理学中验证预测免疫组织化学测试? 一种实践方法,利用非小细胞肺癌中的编程死亡配体-1的异质性
机译:检测并发程序中的信息泄漏的公理方法
机译:关于验证使用弱类型编程语言C编写的类型良好的程序。
机译:社区计划中的保真度评估:一种验证简化方法的方法
机译:计算机程序中的自检和运行时验证
机译:严格的自检程序设计方法