Using model checking to help discover mode confusions and other automation surprises 论文
2002Reliability Engineering & System Safety引用 225
Human-Automation Interaction and SafetySystems Engineering Methodologies and ApplicationsAI-based Problem Solving and Planning