Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach

BARBONI, Eric ; ter BEEK, M. H. ; FACONTI, G. P. ; MASSINK, M. ; PALANQUE, Philippe ; WINCKLER, M. . Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach. In: IFIP TC 13 Conference on Human-Computer Interaction - INTERACT, 2009, Uppsala. 12th IFIP TC 13 Conference on Human-Computer Interaction (INTERACT 2009). Berlin: Springer, 2009. p. 494-509.

2009