Browsing by Author Silia , Laifa , Boukheche Ichrak
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2023-11 | Transforming UML statchert diagrams into nets within nets formalism for verification purpose. | Silia , Laifa , Boukheche Ichrak |