Laboratory of Informatics of Grenoble Équipe Ingénierie de l'Interaction Humain-Machine

Équipe Ingénierie de l'Interaction
Humain-Machine

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.