Login / Signup

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

Hong Anh LeNinh-Thuan Truong
Published in: ICCASA (2013)
Keyphrases
  • context aware systems
  • context aware
  • formal methods
  • context aware computing
  • context awareness
  • expert systems
  • model checking
  • context aware services