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

Le, Hong Anh and Truong, Ninh Thuan (2014) Formal Modeling and Verification of Context-Aware Systems using Event-B. EAI Endorsed Transactions on Context-aware Systems and Applications.

[thumbnail of 20965.pdf] PDF
20965.pdf
Download (461kB)

Abstract

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 fo

Item Type: Article
Date Deposited: 04 Mar 2026 10:23
Last Modified: 12 Apr 2026 11:19
URI: http://eprints.eai.eu/id/eprint/12412

Actions (login required)

View Item
View Item