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
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
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
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
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
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
Direct Torque Control for Induction Machine Drive based on Sliding Mode Controller with a New Adaptive Speed Observer
Mohamed Horch، Abdelmadjid Boumédiène، Lotfi BAGHLI
2018 International Conference on Communications and Electrical Engineering (ICCEE)الصفحات 1-62018ورقة مؤتمر وصول مغلق 1
An extended observer based-controller applied to sensorless PMSM drive using the mean value theorem and Lipchitz models
International Journal of Systems Assurance Engineering and Managementالمجلّد 10، (6)، الصفحات 1527-15342019مقال وصول مغلق 1
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
Fuzzy logic based sensorless MPPT algorithm for wind turbine system driven DFIG
Abdelhak Dida، Djilani Benattous
الصفحات 1-62015أخرى وصول مغلقعدّة مصادر 10