Complementary Methodologies for Developing Hybrid Systems with Event-B.

Wen Su, Jean-Raymond Abrial, Huibiao Zhu

Browse the full ICFEM paper archive.