Towards Formal Modeling and Verification of Context-Aware Systems.

Taha Abdelmoutaleb Cherfia Faiza Belala Kamel Barkaoui

Published in: VECoS (2014)

Keyphrases

context aware systems
context aware
formal methods
model checking
artificial intelligence
ubiquitous computing
intelligent systems
context awareness