@inproceedings{iihm-JNP06a,
	title = {Formal test of interactive systems: {ICARE}-Lutess / Test formel de syst{\`{e}}mes interactifs multimodaux : couplage {ICARE} - Lutess},
	author = {Jourde, Fr{\'{e}}d{\'{e}}ric and Nigay, Laurence and Parissis, Ioannis},
	year = {2006},
	booktitle = {Proceedings of {ICSSEA} 2006, The 19th International Conference on Software \& Systems Engineering and their Applications: Service \& System globalization (Paris, France, December 5-7 2006)},
	note = {8 pages.},
	uri = {http://iihm.imag.fr/publication/JNP06a/},
	pdf = {http://iihm.imag.fr/publs/2006/ICSSEA06-MultiFormal.pdf},
	type_publi = {icolcomlec},
	type = {Conf{\'{e}}rences internationales de large diffusion avec comit{\'{e}} de lecture sur texte complet},
	x-proceedings = {yes},
	x-editorial-board = {yes},
	x-international-audience = {yes},
	x-invited-conference = {no},
	x-scientific-popularization = {no},
}