{"_id":"jxSBp4tcTRiCgakRG","bibbaseid":"palanque-bernhaupt-navarre-ould-winckler-supportingusabilityevaluationofmultimodalmanmachineinterfacesforspacegroundsegmentapplicationsusingpetrinetsbasedformalspecification-2006","author_short":["Palanque, P.","Bernhaupt, R.","Navarre, D.","Ould, M.","Winckler, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal Specification","doi":"10/ghv2mr","booktitle":"SpaceOps 2006 Conference","author":[{"propositions":[],"lastnames":["Palanque"],"firstnames":["Philippe"],"suffixes":[]},{"propositions":[],"lastnames":["Bernhaupt"],"firstnames":["Regina"],"suffixes":[]},{"propositions":[],"lastnames":["Navarre"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Ould"],"firstnames":["Mourad"],"suffixes":[]},{"propositions":[],"lastnames":["Winckler"],"firstnames":["Marco"],"suffixes":[]}],"year":"2006","note":"tex.ids= palanqueSupportingUsabilityEvaluation2006a","pages":"5657","bibtex":"@inproceedings{palanque_supporting_2006,\n\ttitle = {Supporting {Usability} {Evaluation} of {Multimodal} {Man}-{Machine} {Interfaces} for {Space} {Ground} {Segment} {Applications} {Using} {Petri} nets {Based} {Formal} {Specification}},\n\tdoi = {10/ghv2mr},\n\tbooktitle = {{SpaceOps} 2006 {Conference}},\n\tauthor = {Palanque, Philippe and Bernhaupt, Regina and Navarre, David and Ould, Mourad and Winckler, Marco},\n\tyear = {2006},\n\tnote = {tex.ids= palanqueSupportingUsabilityEvaluation2006a},\n\tpages = {5657},\n}\n\n","author_short":["Palanque, P.","Bernhaupt, R.","Navarre, D.","Ould, M.","Winckler, M."],"key":"palanque_supporting_2006","id":"palanque_supporting_2006","bibbaseid":"palanque-bernhaupt-navarre-ould-winckler-supportingusabilityevaluationofmultimodalmanmachineinterfacesforspacegroundsegmentapplicationsusingpetrinetsbasedformalspecification-2006","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["supporting","usability","evaluation","multimodal","man","machine","interfaces","space","ground","segment","applications","using","petri","nets","based","formal","specification","palanque","bernhaupt","navarre","ould","winckler"],"title":"Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal Specification","year":2006}