Browsing by Subject Model Transformation, UML Statechart Diagrams, Petri Nets within Nets, Formal Verification, Model-Driven Engineering, Complex Systems.
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 |