Login / Signup

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements.

Neeraj Kumar SinghHao WangMark LawfordThomas Stephen Edward MaibaumAlan Wassyng
Published in: HCI (17) (2015)
Keyphrases