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
Productions scientifiques
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 Accès fermé 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 Accès ferméPlusieurs 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-62018Communication Accès fermé
An automatic system to surface defect classification of hot rolled steel
Boudiaf, Adel, Moussaoui, Abdelkrim, Zaghdoudi, Rachid, Mentouri, Zoheir, Saadoune, Achour
2018Communication Accès ouvert
An automatic EMI filter design and optimization for photovoltaic inverter
BEGGAT, F., MILOUDI, K., BOUCHAFAA, F.
2018Communication Accès ouvert
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Volume 2283، Pages 261-2662018Autre Accès ferméPlusieurs 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-1642018Communication Accès fermé