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
Messaoud Abbas
مسعود عباسProfesseur
17
Productions
133
Citations
6
Indice h
Noter ce chercheurPas encore noté
La moyenne apparaît à partir de 3 avis.
2024
Statistical analysis using the RSM approach of the physical behavior of green polymerized eco-mortar
Tahar Zerig, Mouloud Belachia, Assia Aidoud, Nassima Meftah, Tarek Djedid, Messaoud Abbas
2022
A CNN Model for Early Leukemia Diagnosis
International Journal of Organizational and Collective IntelligenceVolume 12، (1)، Pages 1-202022Article Accès fermé 4
2021
2019
Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Formalizing and Verifying UML Activity Diagrams
2018
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Volume 2283، Pages 261-2662018Autre Accès ferméPlusieurs sources 2
Modelling UML state machines with FoCaLiZe
Messaoud Abbas, Choukri Bey Ben Yelles, Renaud Rioboo
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Accès fermé 3
2014
Modeling UML Template Classes with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo