Formal Event-B Modeling of the MICONIC Application.

Sabrine Ammar, Mohamed Tahar Bhiri

Browse the full SoMeT paper archive.