Xiaofeng Wu

Latest

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