Publication | Closed Access
Module superimposition: a composition technique for rule-based model transformation languages
63
Citations
8
References
2009
Year
SyntaxEngineeringAutomated ReasoningFormal MethodsSystems EngineeringProgram TransformationModule SuperimpositionProgram SynthesisGrammarComputer ScienceModel Transformation LanguageFormal VerificationModel TransformationModel Composition
| Year | Citations | |
|---|---|---|
Page 1
Page 1