Pilots; Aviation safety; Flight decks; Digital systems; Automation; Diagnosis(General); Guidance; Man computer interface; Awareness;
机译:使用参与者和模型检查对实时无线传感器和执行器网络进行建模和分析
机译:用于分析右删截和左截断下的双变量死亡率的Kaplan-Meier估计器的推广及其在生存copula模型的模型检查中的应用
机译:使用模型检查来帮助发现模式混乱和其他自动化意外
机译:使用基于意图的概率模型检查进行的驾驶舱模式混淆检测
机译:后验预测模型检验对增长曲线模型的模型批评
机译:基于模型检查的环境辅助生活解决方案分析框架
机译:使用模型检查来帮助发现模式混乱和其他自动化意外