Login / Signup
Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach.
Maurice H. ter Beek
Giorgio P. Faconti
Mieke Massink
Philippe A. Palanque
Marco Winckler
Published in:
INTERACT (1) (2009)
Keyphrases
</>
formal model
human computer interaction
formal models
security properties
multi agent systems
knowledge representation
software engineering
user interaction
virtual environment
predicate calculus
security patterns