Author: V. Senges
Publication Overview
Publication period start: 1996
Number of co-authors: 2
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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.