2008 | ||
---|---|---|
3 | Nadjet Kamel, Sid-Ahmed Selouani, Habib Hamam: A Modal Logic for the CARE Usability Properties for Multimodal User Interfaces. Software Engineering Research and Practice 2008: 39-45 | |
2004 | ||
2 | Yamine Aït Ameur, Nadjet Kamel: A generic formal specification of fusion of modalities in a multimodal HCI. IFIP Congress Topical Sessions 2004: 415-420 | |
1 | EE | Nadjet Kamel: Utilisation de SMV pour la vérification de propriétés d'IHM multimodales. IHM 2004: 219-222 |
1 | Yamine Aït Ameur | [2] |
2 | Habib Hamam | [3] |
3 | Sid-Ahmed Selouani | [3] |