Jullien Bouchet, Laya Madani, Laurence Nigay, Catherine Oriat, Ioannis Parissis. Formal Testing of Multimodal Interactive Systems. In Jan Gulliksen, Morten Borup Harning, Philippe A. Palanque, Gerrit C. van der Veer, Janet Wesson, editors, Engineering Interactive Systems - EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers. Volume 4940 of Lecture Notes in Computer Science, pages 36-52, Springer, 2007. [doi]
Abstract is missing.