Huibiao Zhu

Latest

• ASM and Controller Synthesis
• Continuous ASM, and a Pacemaker Sensing Fragment
• Continuous Behaviour in Event-B: A Sketch
• Formalizing Hybrid Systems with Event-B