Formal Description Techniques for Human-Machine Interfaces Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems

NAVARRE, David ; PALANQUE, Philippe ; MARTINIE, C. ; WINCKLER, M. ; STEERE, S. . Formal Description Techniques for Human-Machine Interfaces Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems. In: Boy, G.. (Org.). Handbook on Human-Machine Interaciton. : Ashgate Publishing, 2011, v. , p. -.

2011