A formal model for plastic human computer interfaces.

Abdelkrim Chebieb Yamine Aït Ameur

Published in: Frontiers Comput. Sci. (2018)

Keyphrases

formal model
human computer interface
human computer interaction
formal models
predicate calculus
artificial intelligence
relational databases
security properties
security patterns