Formal Specification and Verification Framework for Multi-domain Ubiquitous Environment.

Mohamed Hilia, Abdelghani Chibani, Karim Djouani, Yacine Amirat

Browse the full ICSOC paper archive.