Hasan Osman
Articole în reviste din RM - 1, Descărcări - 19, Vizualizări - 353
ISO 690-2012
PN2Maude: An automatic tool to generate Maude specification for Petri net models     |
Boucherit Ammar  , Abbas Messaoud , Lamouri Mohammed Lamine , Hasan Osman |
| Computer Science Journal of Moldova |
| Nr. 2(92) / 2023 / ISSN 1561-4042 / ISSNe 2587-4330 |
| Disponibil online 9 August, 2023. Descarcări-19. Vizualizări-353 |
