Yasir Malik, Bessam Abdulrazak. Formal Modeling and Analysis of Context-Aware Medication Management System for Smart Houses. In Jit Biswas, Hisato Kobayashi, Lawrence Wai-Choong Wong, Bessam Abdulrazak, Mounir Mokhtari, editors, Inclusive Society: Health and Wellbeing in the Community, and Care at Home - 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings. Volume 7910 of Lecture Notes in Computer Science, pages 218-223, Springer, 2013. [doi]
Abstract is missing.