hierarchical task analysis; model checking; error analysis;
机译:数据驱动模型检查具有复制测量的变量错误变量变量变量模型
机译:Berkson测量错误模型的最小距离模型验证数据
机译:使用模型检查来识别入侵检测签名中的错误
机译:通过组合任务建模和模型检查来检测数据中的导频误差
机译:通过模型检查自动检测严重的存储系统错误。
机译:使用任务分析模型和错误的人的行为发现系统故障的表型使用模型检测
机译:图S1:在14天时截断的PDX研究的控制数据的比例剩余误差模型的肿瘤生长模型的视觉预测检查
机译:煤气化联合循环系统的随机建模:选定的整体煤气化联合循环(IGCC)系统的成本模型。任务2,专题报告。