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., & Systems, A. S. o. F. V. i. H. In 2014.
A methodology for analyzing human-automation interactions in flight operations using formal verification techniques [link]Paper  bibtex   
@inproceedings{javaux_methodology_2014,
	title = {A methodology for analyzing human-automation interactions in flight operations using formal verification techniques},
	url = {http://hdl.handle.net/2078.1/140520},
	language = {English},
	author = {Javaux, Denis and Wortelen, Bertram and Lüdtke, Andreas and Pecheur, Charles and Peldszus, Regina and Sievi, Sonja and Yushtein, Yuri and Systems, AAAI Symposium on Formal Verification in Human-Machine},
	year = {2014},
	keywords = {QA75, ⛔ No DOI found},
}

Downloads: 0