Laboratory of Informatics of Grenoble Équipe Ingénierie de l'Interaction Humain-Machine

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

Utilisation des spécifications formelles dans le processus de conception des interfaces homme-machine

In Proc. IHM’97, Cepadues Publ. pages 23-29. 1997.

P. Brun, Francis Jambon