Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Wen Su
Latest
Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System
ASM and Controller Synthesis
Continuous ASM, and a Pacemaker Sensing Fragment
Continuous Behaviour in Event-B: A Sketch
Formalizing Hybrid Systems with Event-B
Cite
×