Formal verification of context and situation models in pervasive computing.
Andrey BoytsovArkady B. ZaslavskyPublished in: Pervasive Mob. Comput. (2013)
Keyphrases
- pervasive computing
- formal verification
- context awareness
- ambient intelligence
- context aware
- service discovery
- context sensitive
- computing environments
- smart environments
- mobile devices
- pervasive environments
- mobile computing
- symbolic model checking
- machine learning
- model checking
- probabilistic model
- expert systems