Author: V. Senges

Publications

Publication period start: 1996
Number of co-authors: 2

Co-authors

Number of publications with favourite co-authors
Philippe A. Palanque
2
Remi Bastide
2

Productive Colleagues

Most productive colleagues in number of publications
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.