Khaoula Bouba

According to our database, Khaoula Bouba authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

A transformation methodology for Capella to Event-B models with DSL verification.

Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini

J. Comput. Lang., November, 2023

2022

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, Rédouane Benaini

Proceedings of the Model and Data Engineering: 11th International Conference, 2022