机译:在事故建模中使用任务分析的形式化和结构化方法
机译:在事故建模中使用任务分析的形式化和结构化方法
机译:一种从任务模型生成人机界面的正式机器学习方法
机译:最佳决策的物理学:对两种替代性强制选择任务的绩效模型的形式分析
机译:任务结构分析:一种用于建模知识密集型流程的模块化方法
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:关于两阶段任务结果分析的注释:任务结构的变化如何影响无模型和基于模型的策略预测奖励和过渡对中止概率的影响
机译:相结构任务集下具有内存争用的多核系统的WCRT分析的正式方法