Ahmed M'hiri's publications with EHCI [bibtex|json]
2009
National refereed conference papers
-
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