Pages that link to "Item:Q2026802"
From MaRDI portal
The following pages link to Industrial application of formal models generated from domain specific languages (Q2026802):
Displaying 3 items.
- Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (Q475379) (← links)
- Formalizing and testing the consistency of DSL transformations (Q736456) (← links)
- Multilevel coupled model transformations for precise and reusable definition of model behaviour (Q2423777) (← links)