An Event-B Based Generic Framework for Hybrid Systems Formal Modelling.

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

Browse the full IFM paper archive.