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 |