Using model checking to help discover mode confusions and other automation surprises 论文

2002Reliability Engineering & System Safety引用 225
DOI
Human-Automation Interaction and SafetySystems Engineering Methodologies and ApplicationsAI-based Problem Solving and Planning
AI-based Problem Solving and PlanningHuman-Automation Interaction and SafetySystems Engineering Methodologies and Applications
相关技术:Systems Engineering Methodologies and Applications
关系图谱

Using model checking to help discover mode confusions and other automation surprises · 相关技术

相关技术

Systems Engineering Methodologies and Applications