Login / Signup

Towards Ontology-Based Formal Verification Methods for Context Aware Systems.

Hedda Rahel SchmidtkeWoontack Woo
Published in: Pervasive (2009)
Keyphrases
  • formal verification
  • context aware systems
  • context aware
  • context awareness
  • artificial intelligence
  • model checking
  • model checker