Modelling UML state machines with FoCaLiZe
Choukri Bey Ben Yelles، Renaud Rioboo، Messaoud Abbas
International Journal of Information and Communication Technologyالمجلّد 13، (1)، الصفحات 342018مقال وصول مغلق 6
المُخرَجات البحثية
Modelling UML state machines with FoCaLiZe
Messaoud Abbas، Choukri Bey Ben Yelles، Renaud Rioboo
International Journal of Information and Communication Technologyالمجلّد 13، (1)، الصفحات 342018مقال وصول مغلقعدّة مصادر 3
Development of Critical Systems with UML/OCL and FoCaLiZe
Automated Word Sense Disambiguation Using WordNet Ontology
Khaoula Belila، Okba Kazar، Mohammed Charaf Eddine Meftah
International Journal of Organizational and Collective Intelligenceالمجلّد 12، (1)، الصفحات 1-182022مقال وصول مغلق 3
Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
Fatima Haloua، Messaoud Abbas، Rachid Djerbi، Mohammed Mounir Bouhamed
الصفحات 1-52024أخرى وصول مغلقعدّة مصادر 3
A New Approach for Social Networks Based on Ontology of Multilingual Dynamic Groups
International Journal of Organizational and Collective Intelligenceالمجلّد 12، (1)، الصفحات 1-212022مقال وصول مغلق 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
An automated cascade framework for glioma prognosis via segmentation, multi-feature fusion and classification techniques
Biomedical Physics & Engineering Expressالمجلّد 11، (3)، الصفحات 0350272025مقال وصول مغلقعدّة مصادر 1
Improving damage classification via hybrid deep learning feature representations derived from post-earthquake aerial images
International Journal of Image and Data Fusionالمجلّد 13، (1)، الصفحات 1-202020مقال وصول مغلقعدّة مصادر 10
Organic Micropollutants in Wastewaters: Advances in Sustainable Management and Treatment Methods
BARBARA HELENA SAWICKA، Mohammed Messaoudi، Виола Владиславовна Вамболь، Sergij Vambol، Nadjet Osmani، Wafa Zahnit، Dominika Skiba، Ilham Ben Amor، Bachir Ben Seghir، Abdelkrim Rebiai
الصفحات 225-2472024فصل وصول مغلقعدّة مصادر 3
An intelligent system for energy management in smart cities based on big data and ontology
Zaoui Sayah، Okba Kazar، Brahim Lejdel، Abdelkader Laouid، Ahmed Ghenabzia
Smart and Sustainable Built Environmentالمجلّد 10، (2)، الصفحات 169-1922020مقال وصول مغلقعدّة مصادر 56
Influence of Fuzzy Power System Stabilizer using Different Membership Functions for Single and Multi-machine
Journal of Control Automation and Electrical Systemsالمجلّد 32، (5)، الصفحات 1269-12782021مقال وصول مغلقعدّة مصادر 6
Robust $$ H_{\infty } $$ Control Based on the Mean Value Theorem for Induction Motor Drive
Meriem Allag، Abdelkrim Allag، Okba Zeghib، Bilal Hamidani
Journal of Control Automation and Electrical Systemsالمجلّد 30، (5)، الصفحات 657-6652019مقال وصول مغلقعدّة مصادر 9
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
A fully homomorphic encryption based on magic number fragmentation and El‐Gamal encryption: Smart healthcare use case
Mostefa Kara، Abdelkader Laouid، Mohammed Amine Yagoub، Reinhardt Euler، Saci Medileh، Mohammad Ali A. Hammoudeh، Amna Eleyan، Ahcène Bounceur
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ورقة مؤتمر وصول مغلق✔ اعتمدته وحدة
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems
Ammar Boucherit، Laura M. Castro، Abdallah Khababa، Osman Hasan
Extracting Criminal-Related Events from Arabic Tweets
Feriel Abdelkoui، Mohamed Khireddine Kholladi
Journal of Information Technology Researchالمجلّد 10، (3)، الصفحات 34-472017مقال وصول مغلقعدّة مصادر 5