ORCiD
Articole în reviste din RM - 1.
-----------------------------------------------------------------------------------------------------------------------------------
Articole în reviste din RM - 1.
Publicații indexate în SCOPUS - 1.
- 3. Articole în reviste din RM
- 3.1. Articole în reviste științifice din RM (perioada în care au avut categorie de clasificare + 2 numere până la aprobarea statutului de publicație științifică)
- 3.1.1.Articole în reviste de cat. A - 1
PN2Maude: An automatic tool to generate Maude specification for Petri net models |
Boucherit Ammar1 , Abbas Messaoud1 , Lamouri Mohammed Lamine1 , Hasan Osman2 |
1 University El Oued, 2 National University of Sciences and Technology (NUST) |
Computer Science Journal of Moldova |
Vol. 31, Nr. 2(92) / 2023 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 9 August, 2023. Descarcări-16. Vizualizări-345 |