Login / Signup

A formal framework for context-aware systems specification and verification.

Brahim DjoudiChafia BouanakaNadia Zeghib
Published in: J. Syst. Softw. (2016)
Keyphrases
  • context aware systems
  • formal methods
  • formal specification
  • formal verification
  • context aware
  • model checking
  • website
  • high level
  • computational intelligence
  • context dependent
  • context awareness