No description available of Yamine Ait-Ameur...
Ait-Ameur, Yamine, Ait-Sadoune, Idir, Mota, Jean-Marc and Baron, Mickael (2006): Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve. In: Proceedings of the 2006 Conference of the Association Francophone dInteraction Homme-Machine 2006. pp. 123-130. Available online
Spare 2 minutes and help us!
Examples:
» Link to us
» Contribute to the calendar
» Write an encyclopedia entry
» Write a misDesign
» Become an editor
» Join the Advisory Board