Login / Signup

Formal Modeling and Verification of Context-Aware Systems using Event-B.

Hong Anh LeNinh-Thuan Truong
Published in: EAI Endorsed Trans. Context aware Syst. Appl. (2014)
Keyphrases
  • context aware systems
  • context aware
  • model checking
  • context awareness
  • formal methods
  • website
  • user context