Pages that link to "Item:Q5710424"
From MaRDI portal
The following pages link to Formal Methods in Software and Systems Modeling (Q5710424):
Displaying 4 items.
- Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes (Q418764) (← links)
- Parallel graph transformation for model simulation applied to timed transition Petri nets (Q2847842) (← links)
- Extended Triple Graph Grammars with Efficient and Compatible Graph Translators (Q3059713) (← links)
- Algebraic high-level net transformation systems (Q4856661) (← links)