Pages that link to "Item:Q701039"
From MaRDI portal
The following pages link to Designing the automatic transformation of visual languages (Q701039):
Displaying 4 items.
- Using formal methods with SysML in aerospace design and engineering (Q434438) (← links)
- Automating the transformation-based analysis of visual languages (Q973037) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Using source transformation to test and model check implicit-invocation systems (Q2507781) (← links)