Inproceedings,

The Fault-Tolerant Insulin Pump Therapy

, , and .
Workshop on Rigorous Engineering of Fault Tolerant Systems Event Information, in conjunction with Formal Methods 2005, (18-22 July 2005)

Meta data

Tags

Users

  • @pellicci

Comments and Reviews