Login / Signup
Towards Ontology-Based Formal Verification Methods for Context Aware Systems.
Hedda Rahel Schmidtke
Woontack Woo
Published in:
Pervasive (2009)
Keyphrases
</>
formal verification
context aware systems
context aware
context awareness
artificial intelligence
model checking
model checker