Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification

PALANQUE, Philippe ; BERNHAUPT, Regina ; NAVARRE, David ; OULD, Mourad ; WINCKLER, M. . Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. In: 9th International Conference on Space Operations, 2006, Rome, 2006.

2006