Laboratory of Informatics of Grenoble Engineering Human-Computer Interaction Research Group

Engineering Human-Computer Interaction
Research Group

Formal test of interactive systems: ICARE-Lutess / Test formel de systèmes interactifs multimodaux : couplage ICARE – Lutess

In Proceedings of ICSSEA 2006, The 19th International Conference on Software & Systems Engineering and their Applications: Service & System globalization (Paris, France, December 5-7 2006). 2006.

Frédéric Jourde, Laurence Nigay, Ioannis Parissis

8 pages.