Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study

BIB
Bertram Wortelen Andreas Lüdtke Denis Javaux Sonja Sievi
Proc. of ECCE´14
9 / 2014
inproceedings
VASCO
Verification Models for Advanced Human-Automation Interaction in Safety Critical Flight Operations (sorry - only available in german)