IBN
Închide
Hasan Osman
Dinamica numărului de publicaţii pe ani
Dinamica articolelor pe ani
Distribuirea numărului de pagini publicate pe categorii de reviste și ani
Distribuirea articolelor pe domenii şi ani
Colaborarea autorului
ORCiD

Articole în reviste din RM - 1.

2023 - 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
Nr. 2(92) / 2023 / ISSN 1561-4042 / ISSNe 2587-4330
Disponibil online 9 August, 2023. Descarcări-16. Vizualizări-307
-----------------------------------------------------------------------------------------------------------------------------------
1 - 1 of 1