{"_id":"ncmW5EtWTMFQXRQ7z","bibbaseid":"javaux-wortelen-ldtke-pecheur-peldszus-sievi-yushtein-amethodologyforanalyzinghumanautomationinteractionsinflightoperationsusingformalverificationtechniques-2014","authorIDs":[],"author_short":["Javaux, D.","Wortelen, B.","Lüdtke, A.","Pecheur, C.","Peldszus, R.","Sievi, S.","Yushtein, Y."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-11-14T00:00:00.000+0100","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":[]}],"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","bibtex":"@inproceedings{conf/aaaiss/JavauxWLPPSY14,\n added-at = {2018-11-14T00:00:00.000+0100},\n author = {Javaux, Denis and Wortelen, Bertram and Lüdtke, Andreas and Pecheur, Charles and Peldszus, Regina and Sievi, Sonja and Yushtein, Yuri},\n biburl = {https://www.bibsonomy.org/bibtex/28165fdebe8b415d8fc773f51694899d6/dblp},\n booktitle = {AAAI Spring Symposia},\n crossref = {conf/aaaiss/2014},\n ee = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7710},\n interhash = {1d071a07c26fcb041bff9ae315e70c4d},\n intrahash = {8165fdebe8b415d8fc773f51694899d6},\n keywords = {dblp},\n publisher = {AAAI Press},\n timestamp = {2018-11-15T16:17:40.000+0100},\n title = {A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques.},\n url = {http://dblp.uni-trier.de/db/conf/aaaiss/aaaiss2014.html#JavauxWLPPSY14},\n year = 2014\n}\n\n","author_short":["Javaux, D.","Wortelen, B.","Lüdtke, A.","Pecheur, C.","Peldszus, R.","Sievi, S.","Yushtein, Y."],"key":"conf/aaaiss/JavauxWLPPSY14","id":"conf/aaaiss/JavauxWLPPSY14","bibbaseid":"javaux-wortelen-ldtke-pecheur-peldszus-sievi-yushtein-amethodologyforanalyzinghumanautomationinteractionsinflightoperationsusingformalverificationtechniques-2014","role":"author","urls":{"Link":"http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7710","Paper":"http://dblp.uni-trier.de/db/conf/aaaiss/aaaiss2014.html#JavauxWLPPSY14"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Bertram?items=1000","creationDate":"2020-08-03T18:34:52.809Z","downloads":0,"keywords":["dblp"],"search_terms":["methodology","analyzing","human","automation","interactions","flight","operations","using","formal","verification","techniques","javaux","wortelen","lüdtke","pecheur","peldszus","sievi","yushtein"],"title":"A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques.","year":2014,"dataSources":["fYGRSD8HXJYwZPaY7"]}