Formal Modeling and Verification of Context-Aware Systems using Event-B
Context awareness is a computing paradigm that makes applications responsive and adaptive with their environment. Formal modeling and verification of context-aware systems are challenging issues in the development as they are complex and uncertain. In this paper, we propose an approach to use a form...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
European Alliance for Innovation (EAI)
2014-12-01
|
| Series: | EAI Endorsed Transactions on Context-aware Systems and Applications |
| Subjects: | |
| Online Access: | http://eudl.eu/doi/10.4108/casa.1.2.e4 |