Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Shehroz Khan 0002
Latest
Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B
Cite
×