Mohamed Hilia, Abdelghani Chibani, Karim Djouani, Yacine Amirat. Formal Specification and Verification Framework for Multi-domain Ubiquitous Environment. In Quan Z. Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri, editors, Service-Oriented Computing - 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. Volume 9936 of Lecture Notes in Computer Science, pages 685-693, Springer, 2016. [doi]
Abstract is missing.