Jean-François Ladry, David Navarre, Philippe A. Palanque. Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. In James L. Crowley, Yuri A. Ivanov, Christopher Richard Wren, Daniel Gatica-Perez, Michael Johnston, Rainer Stiefelhagen, editors, Proceedings of the 11th International Conference on Multimodal Interfaces, ICMI 2009, Cambridge, Massachusetts, USA, November 2-4, 2009. pages 185-192, ACM, 2009. [doi]
Abstract is missing.