Author: V. Senges

Publications

Co-authors

Philippe A. Palanque

2

Remi Bastide

2

Productive Colleagues

Remi Bastide

28

Philippe A. Palanque

66

Publications

Palanque, Philippe A., Bastide, Remi, Senges, V. (1995): Task Model -- System Model: Towards an Unifying Formalism. In: Proceedings of the Sixth International Conference on Human-Computer Interaction July 9-14, 1995, Tokyo, Japan. pp. 489-494.

Palanque, Philippe A., Bastide, Remi, Senges, V. (1996): Validating interactive system design through the verification of formal task and system mo. In: Bass, Leonard J., Unger, Claus (eds.) Engineering for Human-Computer Interaction, Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction August, 1996, Yellowstone Park, USA. pp. 189-212.