Event-B Refinement for Continuous Behaviours Approximation.

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

Browse the full ATVA paper archive.