Formal verification of context and situation models in pervasive computing
Academic Article
-
- Overview
-
- Research
-
- Identity
-
- Additional Document Info
-
- View All
-
Overview
status
publication date
has subject area
published in
Research
keywords
-
Computer Science
-
Computer Science, Information Systems
-
Context awareness
-
Context spaces theory
-
MANAGEMENT
-
Science & Technology
-
Situation algebra
-
Situation awareness
-
Technology
-
Telecommunications
-
Verification
Identity
Digital Object Identifier (DOI)
Additional Document Info
Publisher
start page
end page
volume
issue