Chapter 13
Context Awareness: A Formal Foundation
Lu Yan1 and Mats Neovius2
1 University College London, London, UK
2 Åbo Akademi University, Åbo, Finland
13.5 Formalizing Context Awareness and Context Dependency
13.6 Case Study: from Specification, via Formalism, to Implementation
Get Mobile Intelligence now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.