Verification Models for Advance Human-Automation Interaction in Safety Critical Flight Operations - WP2100 Verification Methodology

ML Bolton, N Jimenez, MM van Paassen

Research output: Book/ReportReportProfessional

Original languageEnglish
Place of PublicationMadrid
PublisherIXION Industry & Aerospace S.L. (Madrid) and Delft University of Technology
Number of pages68
Publication statusPublished - 2013

Publication series

Name
PublisherIXION Industry & Aerospace S.L. (Madrid) and Delft University of Technology

Keywords

  • Geen BTA classificatie

Cite this