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.