FZI Research Center for Information Technologies at the University of Karlsruhe;
机译:开发人员友好的基于流程的系统验证
机译:REDD +准备就绪:对项目开发人员的监视,报告和验证系统的早期见解
机译:基于知识,基于规则和专家系统的分析,模拟和验证
机译:基于规则的系统的开发与验证 - 开发商的调查
机译:验证基于规则的系统中的规则:基于树的方法
机译:前瞻性调查以验证渥太华的踝关节规则
机译:基于规则的系统验证的折衷象限:基于模糊规则库的验证而开展的工作