Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas S. E. Maibaum, Alan Wassyng. Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. In Vincent G. Duffy, editor, Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference, DHM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II. Volume 9185 of Lecture Notes in Computer Science, pages 387-398, Springer, 2015. [doi]
Abstract is missing.