| A maintainable and iterative development approach of critical systems with FoCaLiZe F Haloua, M Abbas, A Boucherit, H Alfraihi Studies in Engineering and Exact Sciences 5 (1), 1821-1871, 2024 | 1 | 2024 |
| Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe H Fatima, A Messaoud, D Rachid, BM Mounir 2024 6th International Conference on Pattern Analysis and Intelligent …, 2024 | 1 | 2024 |
| Development of Critical Systems with UML/OCL and FoCaLiZe M Abbas, F Haloua, A Boucherit Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 …, 2021 | 1 | 2021 |
| Development Life-Cycle Approach for Critical Systems F Haloua, M Abbas, A Boucherit, CF Snook, R Rioboo Available at SSRN 4070225, 0 | | |
