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 3
Productions scientifiques
New Simplified and Generalized Three-Dimensional Space Vector Modulation Algorithm for Multilevel Four-Leg Diode Clamped Converter
Mansour Bouzidi, Said Barkat, Abdelbasset Krama
IEEE Transactions on Industrial ElectronicsVolume 68، (10)، Pages 9908-99182020Article Accès ferméPlusieurs sources 15
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
An Authenticated Method for a Secure Changing Password
Mostefa Kara, Konstantinos Κarampidis, Laid Kenioua, Manolis G. Tampouratzis, Muath AlShaikh, Giorgos M. Papadourakis, Abdelkader Laouid
Pages 1-62024Autre Accès ferméPlusieurs sources 1
SE-Half-UNet: Accurate and Low-Cost Retinal Vessel Segmentation from Fundus Images
Anouar Khaldi, Belal Khaldi, Mohamed Ben Bezziane, Khaled Hebbache, Samir Guediri, Siham Hasan
Pages 1-82024Autre Accès ferméPlusieurs sources 4
Enhancing Maintenance Agility in Water Desalination Plants via Explainable MCSA: A Case Study on Workflow Integration and Diagnostic Efficiency
Hamza Adaika, Zoheir Tir, Mohamed Sahraoui, Mohammed Adaika, Khaled Laadjal
Pages 1-42025Communication Accès fermé✔ Validé par une unité