Modeling UML Template Classes 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
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas، Choukri-Bey Ben-Yelles، Renaud Rioboo
المجلّد 2283، الصفحات 261-2662018أخرى وصول مغلقعدّة مصادر 2
A hybrid algorithm for wave-front corrections applied to satellite-to-ground laser communication
Mohammed Senan Al Gobi، Djamel Benatia، Mouadh Bali
TELKOMNIKA (Telecommunication Computing Electronics and Control)المجلّد 18، (3)، الصفحات 12592020مقال وصول مفتوح 2
Contribution to the development of a simulation software performance and sharing ratio in liquid-liquid extraction
Abdelkader Hadj Seyd، Touhami Lanez
A Comparative Analysis of Service Composition Approaches for the Internet of Things
Farida Retima، Saber Benharzallah
Bringing Coordination Languages Back to the Future Using Blockchain Smart Contracts
Mohammad Ali A. Hammoudeh، Bamidele Adebisi، Devrim Ünal، Abdelkader Laouid
المجلّد 21، الصفحات 299-3042021أخرى وصول مغلق 1
A Salient Object Detection Technique Based on Color Divergence
Sana Sahar Guia، Abdelkader Laouid، Reinhardt Euler، Mohammed Amine Yagoub، Ahcène Bounceur، Mohammad Ali A. Hammoudeh
الصفحات 1-62020أخرى وصول مغلق 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
Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas، Choukri-Bey Ben-Yelles، Renaud Rioboo
Development of Critical Systems with UML/OCL and FoCaLiZe
YOLOv8 model for monitoring ghout degradation in the El Oued region, southeastern Algeria
Faouzi Mohammed Lacheheb، Nabil Mega، Akram Mohamed Seddiki، Abdelmonem Miloudi، Mohamed Nadhir Abid، Ishak Guemari، Azzeddine Laouid، Abderrahmane Khechekhouche
Environmental resilience through artificial intelligence: innovations in monitoring and management
Atif Khurshid Wani، Farida Rahayu، Ilham Ben Amor، Munleef Quadir، Mala Murianingrum، Parnidi Parnidi، Anjuman Ayub، Supriyadi Supriyadi، Sakiroh Sakiroh، Saefudin Saefudin و 2 آخرون
Environmental Science and Pollution Researchالمجلّد 31، (12)، الصفحات 18379-183952024مقال وصول مغلق 88
A maintainable and iterative development approach of critical systems with FoCaLiZe
Rapid Automatized Naming and Visual Searching in Arabic-Speaking Children With and Without Dyslexia: The Potential Effect of Color
Smaïl Layes، Sana Tibi، Marjolaine Cohen، Linda J. Lombardino
الأفعال الماضية بين البناء للفاعل والبناء للمفعول ودلالاتها في القراءات القرآنية
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
Messaoud Abbas، Renaud Rioboo، Choukri-Bey Ben-Yelles، Colin Snook
New Gradient EDGE Detection Method Based on Caputo k-Fractional Derivative
Ahfouda Belhadi، Bachir Dehda، Abdelaziz Azeb Ahmed، Fares Yazid، Fatima Siham Djeradi
Robust visual tracking method based on Harris Hawks algorithm
Djemai Charef-Khodja، Toumi Abida، Salim Sbaa، Saadia Medouakh
2020 1st International Conference on Communications, Control Systems and Signal Processing (CCSSP)الصفحات 180-1852020ورقة مؤتمر وصول مغلق 1