Modeling UML Template Classes with FoCaLiZe
Messaoud Abbas، Choukri-Bey Ben-Yelles، Renaud Rioboo
المُخرَجات البحثية
A Comparative Study of Formal Approaches for Web Service Oriented Architecture
Towards a hybrid formal analysis technique for safety-critical software architectures
Laura M. Castro، Osman Hasan، Ammar Boucherit، Abdallah Khababa
International Journal of Critical Computer-Based Systemsالمجلّد 10، (2)، الصفحات 952021مقال وصول مغلق
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
Messaoud Abbas، Renaud Rioboo، Choukri-Bey Ben-Yelles، Colin Snook
Forwarding Strategies in NDN-based IoT Networks: A Comprehensive Study
Djama, Adel، Djamaa, Badis، Senouci, Mustapha Reda
2022ورقة مؤتمر وصول مفتوح
A requirement-driven method for process mining based on model-driven engineering
Selsabil Ines Bouhidel، Mohammed Mounir Bouhamed، Gregorio Diaz، Nabil Belala
A maintainable and iterative development approach of critical systems with FoCaLiZe
Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas، Choukri-Bey Ben-Yelles، Renaud Rioboo
Modelling UML state machines with FoCaLiZe
Choukri Bey Ben Yelles، Renaud Rioboo، Messaoud Abbas
International Journal of Information and Communication Technologyالمجلّد 13، (1)، الصفحات 342018مقال وصول مغلق 5
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
PN2Maude: An automatic tool to generate Maude specification for Petri net models
Ammar Boucherit، Messaoud Abbas، Lamouri Mohamed Lamine، Osman Hasan
AMuL
Soufiane Boudabous، Okba Kazar، Mohamed Ridda Laouar
الصفحات 1-52018أخرى وصول مغلق 1
Development of Critical Systems with UML/OCL and FoCaLiZe
Formalizing and Verifying UML Activity Diagrams
Modelling and Implementation of Complex Systems
Salim Chıkhı، Abdelmalek Amine، Allaoua Chaoui، Mohamed Khireddine Kholladi، Djamel Eddine Saïdouni
Lightwave-driven electrons and high-order harmonic generation in condensed matter
Enhancing Quadcopter Stability and Dynamic Control Through Brushless DC Motor Based on Experimental Data-Driven Models
Chouaib Labiod، Redha Meneceur، Lamine Medekhel، Kamel Srairi، Mohamed Toufik Benchouia، Mohamed Benbouzid
Energy, Financial, and Environmental Investigation of a Direct Steam Production Power Plant Driven by Linear Fresnel Solar Reflectors
Mokhtar Ghodbane، Evangelos Bellos، Zafar Said، Boussad Boumeddane، Abderrahmane Khechekhouche، Mohsen Sheikholeslami، Ziad M. Ali
Performance Simulation of a Solar-Driven Ejector Air Conditioning System
Ghodbane, Mokhtar، Boumeddane, Boussad، Khechekhouche, Abderrahmane
2018ورقة مؤتمر وصول مفتوح
Fuzzy Logic Control Using SVPWM to Enhance the Control of the DFIG Driven by a Wind Turbine
ECTI Transactions on Electrical Engineering Electronics and Communicationsالمجلّد 20، (1)، الصفحات 39-502022مقال وصول مفتوح 3