1 |
V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog
|
|
|
|
In: Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments ; 15th International Conference on Human-Computer Interaction - HCI 2013 ; https://hal.archives-ouvertes.fr/hal-01166951 ; 15th International Conference on Human-Computer Interaction - HCI 2013, Jul 2013, Las Vegas, Nevada, United States. pp. 290-299 (2013)
|
|
BASE
|
|
Show details
|
|
|
|