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