Formalizing hybrid systems with Event-B and the Rodin Platform

2014/11/01 by Wen Su, Jean-Raymond Abrial, Huibiao Zhu · 2 citations

paper · doi:10.1016/j.scico.2014.04.015

Cited by

• Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer
• Correct-by-Construction Design of Timed Systems in Event-B