User menu

A methodology for analyzing human-automation interactions in flight operations using formal verification techniques

Bibliographic reference Javaux , Denis ; Wortelen , Bertram ; Lüdtke, Andreas ; Pecheur, Charles ; Peldszus , Regina ; et. al. A methodology for analyzing human-automation interactions in flight operations using formal verification techniques.AAAI Symposium on Formal Verification in Human-Machine Systems (Palo, Alto, USA, du 24/03/2014 au 26/03/2014). In: Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen Bass, Proceedings of AAAI Symposium on Formal Verification in Human-Machine Systems, 2014, p. 1-6
Permanent URL http://hdl.handle.net/2078.1/140520