المُخرَجات البحثية
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
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مقال وصول مغلق
Development of Critical Systems with UML/OCL and FoCaLiZe
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
Messaoud Abbas، Renaud Rioboo، Choukri-Bey Ben-Yelles، Colin Snook
Formalizing and Verifying UML Activity Diagrams
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas، Choukri-Bey Ben-Yelles، Renaud Rioboo
المجلّد 2283، الصفحات 261-2662018أخرى وصول مغلقعدّة مصادر 2
Modelling and Implementation of Complex Systems
Salim Chıkhı، Abdelmalek Amine، Allaoua Chaoui، Mohamed Khireddine Kholladi، Djamel Eddine Saïdouni
A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics
Ammar Boucherit، Kamel Barkaoui، Mohammed L. Lamouri
المجلّد 1، الصفحات 1-62023أخرى وصول مغلقعدّة مصادر 1
Improved Backstepping Control of a DFIG based Wind Energy Conversion System using Ant Lion Optimizer Algorithm
Zoubir Zeghdi، L. Barazane، Youcef Bekakra، Abdelkader Larabi
Periodica Polytechnica Electrical Engineering and Computer Scienceالمجلّد 66، (1)، الصفحات 43-592021مقال وصول مفتوح 23
Optimizing photovoltaic thermal solar systems efficiency through advanced artificial intelligence driven thermal management techniques
Warda M. Shaban، Abd Elnaby Kabeel، Mohammed El Hadi Attia، Fatma M. Talaat
High Gain Observer with Updated Gain for Sensorless Induction Motor
Abderrahmane Kadrine، Zoheir Tir، Mohamed Assaad Hamida، Om Malik، Azeddine Houari، Abdelali El Aroudi
الصفحات 1-62018أخرى وصول مغلق 2
An Aumento da eficiência da transferência de carga em CCDs usando simulações SILVACO
Dahmane Djendaoui، Zoubir Becer، Themeur Obeidi
ITEGAM- Journal of Engineering and Technology for Industrial Applications (ITEGAM-JETIA)المجلّد 11، (54)2025مقال وصول مفتوح
A Comprehensive Approach to Combat GPS Spoofing and Ensure Security Positioning in Autonomous Vehicles
Laid Kenioua، Brahim Lejdel، Nedioui Mohamed Abdelhamid