Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B
Keyword(s):
Keyword(s):
2014 ◽
Vol 184
(11)
◽
pp. 1237-1248
◽
Keyword(s):