Formal Modeling and Analysis of Context-Aware Medication Management System for Smart Houses.

Yasir Malik, Bessam Abdulrazak

Browse the full ICOST paper archive.