Computer program verification; Aircraft maintenance; Heuristic methods; Test equipment; High level languages; Logistics; Repair; User needs; Artificial intelligence; Computer programs; Computer aided diagnosis; Prototypes; Theses;
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:用IEC 1131-3语言编程的工业控制系统的软测试
机译:仪表:自动测试设备;硬件和软件:扩展的自动测试应用程序满足了对标准语言和复杂接口的需求
机译:使用PAWS CIIL仿真模块来重新测试所有系统(ATLAS)的缩写测试语言编写的测试程序集
机译:自动测试程序生成和新颖的测试技术,用于测试射频和高压设备接口板
机译:基于知识的系统。开发和评估专家系统的方法:建立和测试医学咨询系统的环境
机译:MarciaTesta:用于微处理器数据高速缓存的测试程序的自动生成器
机译:自动测试设备编程语言,包括模拟和数字计算机简介