Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements.

Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng

Browse the full HCI paper archive.