Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
Fatima Haloua، Messaoud Abbas، Rachid Djerbi، Mohammed Mounir Bouhamed
الصفحات 1-52024أخرى وصول مغلقعدّة مصادر 3
المُخرَجات البحثية
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 Electronicsالمجلّد 68، (10)، الصفحات 9908-99182020مقال وصول مغلقعدّة مصادر 15
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas، Choukri-Bey Ben-Yelles، Renaud Rioboo
المجلّد 2283، الصفحات 261-2662018أخرى وصول مغلقعدّة مصادر 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
الصفحات 1-62024أخرى وصول مغلقعدّة مصادر 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
الصفحات 1-82024أخرى وصول مغلقعدّة مصادر 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
الصفحات 1-42025ورقة مؤتمر وصول مغلق✔ اعتمدته وحدة