Login / Signup
A formal model for output multimodal HCI - An Event-B formalization.
Linda Mohand-Oussaïd
Idir Aït-Sadoune
Yamine Aït Ameur
Mohamed Ahmed-Nacer
Published in:
Computing (2015)
Keyphrases
</>
formal model
human computer interaction
event detection
human computer interface
predicate calculus
formal models
multi modal
multimedia
security properties
human computer
event recognition
event driven
information systems
event sequences
gesture recognition
user interface
expert systems
multimodal interaction