Towards Formal Modeling and Verification of Context-Aware Systems.

Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui

Browse the full VECoS paper archive.