Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas، Choukri-Bey Ben-Yelles، Renaud Rioboo
المُخرَجات البحثية
Development of Critical Systems with UML/OCL and FoCaLiZe
A maintainable and iterative development approach of critical systems with FoCaLiZe
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
Messaoud Abbas، Renaud Rioboo، Choukri-Bey Ben-Yelles، Colin Snook
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
A Comparative Analysis of Service Composition Approaches for the Internet of Things
Farida Retima، Saber Benharzallah
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
CLASSIFICATION OF HEALTHY AND DISEASED VINE LEAVES USING THE FULL SPECTRA OF OBJECT AREA IN IMAGE
Georgieva, K، Georgieva, N، Zlatev, Z. D
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
New Gradient EDGE Detection Method Based on Caputo k-Fractional Derivative
Ahfouda Belhadi، Bachir Dehda، Abdelaziz Azeb Ahmed، Fares Yazid، Fatima Siham Djeradi
Building Detection in High-Resolution Remote Sensing Images by Enhancing Superpixel Segmentation and Classification Using Deep Learning Approaches
Ayoub Benchabana، Mohamed Khireddine Kholladi، Ramla Bensaci، Belal Khaldi
CHROMIUM-RICH Zn–Cr ALLOYS: ELECTROCHEMICAL DEPOSITION, STRUCTURE AND CORROSION RESISTANCE
Tahraoui Louiza، Malika Diafi، A. AIDI، Boubaker Benhaoua، Unit of Renewable Energy Development in Arid Zones (UDERZA), Univ. ElOued, El Oued 39000, Algeria
Digest Journal of Nanomaterials and Biostructuresالمجلّد 16، (1)، الصفحات 191-1962021مقال وصول مفتوح 6
Study of Zn-Ni Alloy Coatings Modified by Nano-Al2O3 Particles Incorporation
Diafi, Malika، Temam, Elhachmi Guettaf، Gasmi, Brahim، Benramache, Said، Adaika, Mohamed Lakhdar
2018ورقة مؤتمر وصول مفتوح
Coupled Indirect Torque Control and Maximum Power Point Tracking Technique for Optimal Performance of 12/8 Switched Reluctance Generator-Based Wind Turbines
Mahmoud Zine، Ali Chemsa، Chouaib Labiod، Malika Ikhlef، Kamel Srairi، Mohamed Benbouzid
Segmentation of the Breast Masses in Mammograms Using Active Contour for Medical Practice: AR based surgery
Guerroudji, Mohamed Amine، Amara, Kahina، Aouam, Djamel، Zenati, Nadia، Djekoune, Oualid، Benbelkacem, Samir
2022ورقة مؤتمر وصول مفتوح
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
A robust framework for topological relations in the on-the-fly web map generalisation process
Brahim Lejdel، Okba Kazar
International Journal of Data Mining Modelling and Managementالمجلّد 9، (1)، الصفحات 392017مقال وصول مغلق