Sign in
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