Fatima Haloua

According to our database, Fatima Haloua authored at least 2 papers between 2021 and 2024.

Collaborative distances:

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

2024

Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe.

Fatima Haloua, Messaoud Abbas, Rachid Djerbi, Mohammed Mounir Bouhamed

Proceedings of the 6th International Conference on Pattern Analysis and Intelligent Systems, 2024

2021

Development of Critical Systems with UML/OCL and FoCaLiZe.

Messaoud Abbas, Fatima Haloua, Ammar Boucherit

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021