Using Formal Specification Techniques for the Modelling of Tasks and Generation of HCI Specifications - Université Polytechnique des Hauts-de-France Access content directly
Book Sections Year : 2004
Not file

Dates and versions

hal-03349685 , version 1 (20-09-2021)

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⟩
7 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More