Modeling and formal verification of smart environments.
Fulvio CornoMuhammad SanaullahPublished in: Secur. Commun. Networks (2014)
Keyphrases
- formal verification
- smart environments
- ambient intelligence
- context aware
- model checking
- activity recognition
- bounded model checking
- symbolic model checking
- wearable computing
- automated verification
- health monitoring
- context awareness
- data assimilation
- ubiquitous systems
- model checker
- pervasive computing
- neural network
- human activities
- smart home
- ubiquitous computing
- temporal logic
- text mining
- training data
- machine learning