Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B

Author(s):  
Wen Su ◽  
Jinxin Chen ◽  
Shehroz Khan
2007 ◽  
Vol 40 (2) ◽  
pp. 13
Author(s):  
MIRIAM E. TUCKER
Keyword(s):  

2006 ◽  
Vol 36 (10) ◽  
pp. 8
Author(s):  
MIRIAM E. TUCKER
Keyword(s):  

2010 ◽  
Vol 40 (3) ◽  
pp. 16
Author(s):  
MIRIAM E. TUCKER
Keyword(s):  

2019 ◽  
Author(s):  
Manuel Esteban Nivelo-Rivadeneira ◽  
Agnieszka Kuzior ◽  
Paula Maria Fernandez-Trujillo-Comenge ◽  
Ana Delia Santana-Suarez ◽  
Carmen Acosta-Calero ◽  
...  

Author(s):  
Sanja Minic ◽  
Sanja Medenica ◽  
Emir Muzurovic ◽  
Sreten Kavaric ◽  
Aleksandar Djogo ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document