{"_id":"PeTuYboyTi3P3imho","bibbaseid":"javaux-wortelen-ldtke-pecheur-peldszus-sievi-yushtein-systems-amethodologyforanalyzinghumanautomationinteractionsinflightoperationsusingformalverificationtechniques-2014","author_short":["Javaux, D.","Wortelen, B.","Lüdtke, A.","Pecheur, C.","Peldszus, R.","Sievi, S.","Yushtein, Y.","Systems, A. S. o. F. V. i. H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Javaux"],"firstnames":["Denis"],"suffixes":[]},{"propositions":[],"lastnames":["Wortelen"],"firstnames":["Bertram"],"suffixes":[]},{"propositions":[],"lastnames":["Lüdtke"],"firstnames":["Andreas"],"suffixes":[]},{"propositions":[],"lastnames":["Pecheur"],"firstnames":["Charles"],"suffixes":[]},{"propositions":[],"lastnames":["Peldszus"],"firstnames":["Regina"],"suffixes":[]},{"propositions":[],"lastnames":["Sievi"],"firstnames":["Sonja"],"suffixes":[]},{"propositions":[],"lastnames":["Yushtein"],"firstnames":["Yuri"],"suffixes":[]},{"propositions":[],"lastnames":["Systems"],"firstnames":["AAAI","Symposium","on","Formal","Verification","in","Human-Machine"],"suffixes":[]}],"year":"2014","keywords":"QA75, ⛔ No DOI found","bibtex":"@inproceedings{javaux_methodology_2014,\n\ttitle = {A methodology for analyzing human-automation interactions in flight operations using formal verification techniques},\n\turl = {http://hdl.handle.net/2078.1/140520},\n\tlanguage = {English},\n\tauthor = {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},\n\tyear = {2014},\n\tkeywords = {QA75, ⛔ No DOI found},\n}\n\n","author_short":["Javaux, D.","Wortelen, B.","Lüdtke, A.","Pecheur, C.","Peldszus, R.","Sievi, S.","Yushtein, Y.","Systems, A. S. o. F. V. i. H."],"key":"javaux_methodology_2014","id":"javaux_methodology_2014","bibbaseid":"javaux-wortelen-ldtke-pecheur-peldszus-sievi-yushtein-systems-amethodologyforanalyzinghumanautomationinteractionsinflightoperationsusingformalverificationtechniques-2014","role":"author","urls":{"Paper":"http://hdl.handle.net/2078.1/140520"},"keyword":["QA75","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["qa75","⛔ no doi found"],"search_terms":["methodology","analyzing","human","automation","interactions","flight","operations","using","formal","verification","techniques","javaux","wortelen","lüdtke","pecheur","peldszus","sievi","yushtein","systems"],"title":"A methodology for analyzing human-automation interactions in flight operations using formal verification techniques","year":2014}