V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog.

Guillaume Brat, Clia Martinie, Philippe A. Palanque

Browse the full HCI paper archive.