ATT Bell Laboratories;
National Security Agency;
Martin Marietta;
ATT Network Systems;
机译:在选择时评估软件服务质量和可信度
机译:通过严格的数据类型设计提高软件可信度
机译:通过形式验证方法提高医疗设备软件的可信度
机译:评估软件可信性的结构化保证案例方法
机译:提高集成电路的可信度和质量的设计方法
机译:开发大众媒体资源以提高乌干达小学儿童父母评估治疗效果的可信赖性的能力:以人为本的设计方法
机译:评估软件可靠性的方法