Verification; Computer Architecture; DEC Computers; Diagnostic Techniques; Flowsheets; Microprocessors; Testing;
机译:开发和测试软件原型,以支持护理学生的诊断推理
机译:产生新的医学原型和诊断的概念程序的证明:商业化管道中的工具
机译:有效的混合测试程序开发,用于基于软件的管道处理器核心自测试
机译:软件定义的天线〜(TM)编程和测试原型
机译:将静态分析和运行时分析相结合,以验证和测试多线程程序。
机译:疟疾快速诊断测试(RDT)销售采购和批量验证实践的全球调查:评估WHO-FIND疟疾RDT评估计划的使用(2011-2014年)
机译:软件验证和测试的逻辑编程
机译:开发TEC项目的原型诊断测试。