Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification

Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux. Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification. JSW, 4(9):943-958, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.