Laboratoire d'Informatique de Grenoble Équipe Ingénierie de l'Interaction Homme-Machine

Équipe Ingénierie de l'Interaction
Homme-Machine

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