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

Return to Article Details Formal Modeling and Verification of Context-Aware Systems using Event-B Download Download PDF