Formal verification of context and situation models in pervasive computing
Keywords: تایید; Context awareness; Situation awareness; Context spaces theory; Situation algebra; Verification