Author Details

Javaux, Denis, Symbio Concepts and Products, Belgium

  • 2014 AAAI Spring Symposium Series - Formal Verification and Modeling in Human-Machine Systems
    A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques
    Abstract  PDF