Publications de Ahmed M'hiri avec IIHM [bibtex|json]
2009
Conférences nationales avec comité de lecture sur texte complet
-
Vers la formalisation de propriétés ergonomiques de systèmes interactifs
In Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL’2009).
Madani, M'hiri, Dupuy-Chessa, Parissis