Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care.

Iaki Martnez-Sarriegui, Hong Zhu, Lijun Shan, Gema Garca-Sez, Enrique J. Gmez, M. Elena Hernando

Browse the full ICAART paper archive.