Huang, H and Ruksenas, R and Ament, M and Curzon, P and Cox, A and Blandford, AE and Brumby, D (2011) Capturing the distinction between task and device errors in a formal model of user behaviour. In: (Proceedings) Fourth International Workshop on Formal Method for Interactive Systems (FMIS).
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Capturing the distinction between task and device errors in a formal model of user behaviour |
| Event: | Fourth International Workshop on Formal Method for Interactive Systems (FMIS) |
| UCL classification: | UCL > School of Life and Medical Sciences > Faculty of Brain Sciences > Psychology and Language Sciences (Division of) > UCL Interaction Centre UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record