Travelled to:1 × USA
Collaborated with:N.K.Singh H.Wang M.Lawford A.Wassyng
Talks about:stepwis (1) insulin (1) requir (1) reason (1) formal (1) model (1) infus (1) pump (1)
Person: Thomas S. E. Maibaum
DBLP: Maibaum:Thomas_S=_E=
Contributed to:
2015Wrote 1 papers:
- DHM-EH-2015-SinghWLMW #formal method #modelling #reasoning #requirements
- Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements (NKS, HW, ML, TSEM, AW), pp. 387–398.