ADA (PROGRAMMING LANGUAGE); EXPERT SYSTEMS; KNOWLEDGE BASES (ARTIFICIAL INTELLIGENCE); REAL TIME OPERATION; COMPUTER PROGRAMS; EMBEDDING; ERRORS; INFORMATION FLOW; MAINTENANCE; MODULES; PROTOTYPES; PROVING;
机译:具有多种颜色的增强型高级Petri网,用于基于规则的专家系统的知识验证/确认
机译:通过模型检查验证基于规则的专家系统中的冲突和不可达性
机译:基于知识,基于规则和专家系统的分析,模拟和验证
机译:专家和数据库系统中的验证和确认问题:专家系统的观点
机译:基于规则的预测:时间序列外推的专家系统方法的开发和验证
机译:WHO在GeneXpert系统上对Xpert®CT / NG和Xpert®TV进行的实验室验证证明了高性能
机译:专家系统软件和传统软件的验证和确认指南:专家系统验证和验证方法的调查和记录。第3卷