A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques. Javaux, D., Wortelen, B., Lüdtke, A., Pecheur, C., Peldszus, R., Sievi, S., & Yushtein, Y. In AAAI Spring Symposia, 2014. AAAI Press.
A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques. [link]Link  A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques. [link]Paper  bibtex   
@inproceedings{conf/aaaiss/JavauxWLPPSY14,
  added-at = {2018-11-14T00:00:00.000+0100},
  author = {Javaux, Denis and Wortelen, Bertram and Lüdtke, Andreas and Pecheur, Charles and Peldszus, Regina and Sievi, Sonja and Yushtein, Yuri},
  biburl = {https://www.bibsonomy.org/bibtex/28165fdebe8b415d8fc773f51694899d6/dblp},
  booktitle = {AAAI Spring Symposia},
  crossref = {conf/aaaiss/2014},
  ee = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7710},
  interhash = {1d071a07c26fcb041bff9ae315e70c4d},
  intrahash = {8165fdebe8b415d8fc773f51694899d6},
  keywords = {dblp},
  publisher = {AAAI Press},
  timestamp = {2018-11-15T16:17:40.000+0100},
  title = {A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques.},
  url = {http://dblp.uni-trier.de/db/conf/aaaiss/aaaiss2014.html#JavauxWLPPSY14},
  year = 2014
}

Downloads: 0