Book Sections
Year : 2004
Aurélien Vicentini : Connect in order to contact the contributor
https://uphf.hal.science/hal-03349685
Submitted on : Monday, September 20, 2021-4:25:05 PM
Last modification on : Friday, March 24, 2023-2:53:22 PM
Dates and versions
Identifiers
- HAL Id : hal-03349685 , version 1
Cite
Mourad Abed, Dimitri Tabary, Christophe Kolski. Using Formal Specification Techniques for the Modelling of Tasks and Generation of HCI Specifications. Dan Diaper; Neville Anthony Stanton. The handbook of task analysis for human-computer interaction, Mahwah; Lawrence Erlbaum Associates, pp. 503-529, 2004, 0-8058-4432-5. ⟨hal-03349685⟩
Collections
7
View
0
Download