No description available of Idir Ait-Sadoune...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
Give us your opinion! Do you have any comments/additions
that you would like other visitors to see?
Publication period:2006-2006
Publication count:1
Number of co-authors:3
Idir Ait-Sadoune's 3 most productive colleagues in number of publications:
Mickael Baron:6Number of publications with 3 favourite co-authors:
Mickael Baron:1Learn more about Idir Ait-Sadoune:
- Google Scholar
- ACM
- CSB
Computer programs emerge as the outcome of complex human processes of cognition, communication and negotiation, which serve to establish the meaningful embedding of the computer system in its intended use context.
-- Floyd, 1992, p. 24
”
Eva Hornecker explains the evolving concept of Tangible Interaction.
Read Eva's insightful entry here..