Publications

A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques

Password required

Name:
Password: