Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems.

Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rdouane Benaini

Browse the full MEDI paper archive.