Towards Verifying Service Interoperability Requirements for Pervasive Computing Environments

Yasir Malik, Bessam Abdulrazak. Towards Verifying Service Interoperability Requirements for Pervasive Computing Environments. In César Benavente-Peces, Falah H. Ali, Joaquim Filipe, editors, PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, Rome, Italy, 24-26 February, 2012. pages 220-223, SciTePress, 2012.

Abstract

Abstract is missing.