Improving formal verification practicability through user oriented models and context-awareness.

Amine Raji Philippe Dhaussy

Published in: MoDeVVa@MoDELS (2011)

Keyphrases

context awareness
user oriented
formal verification
context aware
ubiquitous computing
ambient intelligence
model checking
context modeling
human computer interaction
user interface
pervasive computing
context aware systems