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

Iñaki Martínez-Sarriegui Hong Zhu Lijun Shan Gema García-Sáez Enrique J. Gómez M. Elena Hernando Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care. 507-512 2009 ICAART conf/icaart/2009 db/conf/icaart/icaart2009.html#Martinez-SarrieguiZSGGH09