Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets
Ammar Boucherit، Abdallah Khababa، Laura M. Castro
المجلّد 14، (4)، الصفحات 403-4182018مقال 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
Computer Science Journal of Moldovaالمجلّد 31، (2 (92))، الصفحات 272-2962023مقال وصول مفتوحعدّة مصادر
Development of Critical Systems with UML/OCL and FoCaLiZe
Deep Convolutional Neural Network with KNN Regression for Automatic Image Annotation
Ramla Bensaci، Belal Khaldi، Oussama Aiadi، Ayoub Benchabana
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
Simplified hybrid space vector modulation for multilevel diode clamped converter
Mansour Bouzidi، Said Barkat، Abdelbasset Krama
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
A Cost-effective Deep Active Learning for Object Detection in Automated Driving Systems
Mohib Khebbache، Salim Bitam، Abdelhamid Mellouk
International Journal of Computing and Digital Systemsالمجلّد 14، (1)، الصفحات 839-8542023مقال وصول مفتوحعدّة مصادر 1
HPLC–DAD Analysis, Antimicrobial and Antioxidant Properties of Aromatic Herb Melissa officinalis L., Aerial Parts Extracts
Fahima Abdellatif، Samir Begaa، Mohammed Messaoudi، Adel Benarfa، Hamza Ouakouak، Aïcha Hassani، BARBARA HELENA SAWICKA، Jesús Simal‐Gándara
КАТАЛІТИЧНИЙ СИНТЕЗ ПІРИМІДИНІВ І НОВИХ СКЛАДНИХ ПІРИМІДО-ПУРИНІВ ШЛЯХОМ РЕАКЦІЇ БІГІНЕЛЛІ
Ірак Бугесса، Мохамед Дехамчія، Самір Байю، Абделькрім Гуасмія، Зіне Регаінія
Journal of Chemistry and Technologiesالمجلّد 29، (4)، الصفحات 504-5112022مقال وصول مفتوحعدّة مصادر 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
Integrating Heterogeneous Data: A Systematic Review of Challenges and Evolution Solution
Meriem Bensaci، Mohammed Charaf Eddine Meftah، El-Hadi Meftah، Abdelkader Laouid، Sajid M. Sheikh
الصفحات 1186-11942025مقال مراجعة وصول مفتوحعدّة مصادر
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
Removal of hydrocarbons and heavy metals from petroleum water by modern green nanotechnology methods
Abderrhmane Bouafia، Souhaila Meneceur، Souheyla Chami، Salah Eddine Laouini، Henda Daoudi، Souheila Legmairi، Hamdi Ali Mohammed، Narimene Aoun، Farid Menaa
Optimizing of Consumption Energy in Smart Building
Nedioui Mohamed Abdelhamid، Brahim Lejdel، Eliseo Clementini
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