A System Substitution Mechanism for Hybrid Systems in Event-B.

Guillaume Babin, Yamine At Ameur, Neeraj Kumar Singh, Marc Pantel

Browse the full ICFEM paper archive.