Trends and Challenges in Formal Specification and Verification of Services Composition in Ambient Assisted Living Applications.

Mohamed Hilia, Abdelghani Chibani, Karim Djouani

Browse the full ANT paper archive.