Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement.

Guillaume Dupont, Yamine At Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel

Browse the full ICFEM paper archive.