Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets
Ammar Boucherit, Abdallah Khababa, Laura M. Castro
Volume 14، (4)، Pages 403-4182018Article 5
Research output
Modelling UML state machines with FoCaLiZe
Choukri Bey Ben Yelles, Renaud Rioboo, Messaoud Abbas
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Closed access 6
Modelling UML state machines with FoCaLiZe
Messaoud Abbas, Choukri Bey Ben Yelles, Renaud Rioboo
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Closed accessSeveral sources 3
A New Methodology Of Auto-Adaptive PN Code Acquisition For Spread Spectrum Communications Environment
Abdelhafid JOUINI, Abdelmadjid MAALI, Geneviève BAUDOIN, M’hamed HAMADOUCHE
2018 International Conference on Communications and Electrical Engineering (ICCEE)Pages 1-62018Paper Closed access
An automatic system to surface defect classification of hot rolled steel
Boudiaf, Adel, Moussaoui, Abdelkrim, Zaghdoudi, Rachid, Mentouri, Zoheir, Saadoune, Achour
2018Paper Open access
An automatic EMI filter design and optimization for photovoltaic inverter
BEGGAT, F., MILOUDI, K., BOUCHAFAA, F.
2018Paper Open access
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Volume 2283، Pages 261-2662018Other Closed accessSeveral sources 2
Methodology of conception, implementation and validation of an IEC 61850 communication system in smart grids demonstration platform
Kaoutar Saadi, Berna Bou Farraa, Rosa Abbou
2018 International Conference on Smart Communications in Network Technologies (SaCoNeT)Pages 159-1642018Paper Closed access