Université Echahid Hamma Lakhdar d’El OuedPortail de la recherche

Fatima Haloua

Département d'Informatique*

Laboratoire d'Intelligence Artificielle et ses Applications*

3

Productions

4

Citations

1

Indice h

Noter ce chercheurPas encore noté

La moyenne apparaît à partir de 3 avis.

3 résultats RSS CSV XLSX BibTeX

Trier:Plus récent Plus ancien Titre Plus cités

2024

A maintainable and iterative development approach of critical systems with FoCaLiZe

Fatima Haloua, Messaoud Abbas, Ammar Boucherit, Hessa Alfraihi

STUDIES IN ENGINEERING AND EXACT SCIENCESVolume 5، (1)، Pages 1821-18712024Article Accès ouvert

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

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

Pages 1-52024Autre Accès ferméPlusieurs sources 1

2021

Development of Critical Systems with UML/OCL and FoCaLiZe

Messaoud Abbas, Fatima Haloua, Ammar Boucherit

Communications in computer and information sciencePages 16-302021Autre Accès fermé 1