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). 2009.
Laya Madani, Ahmed M'hiri, Sophie Dupuy-Chessa, Ioannis Parissis
In Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL’2009). 2009.
Laya Madani, Ahmed M'hiri, Sophie Dupuy-Chessa, Ioannis Parissis