Publication | Closed Access
A technique for automatic validation of model transformations
34
Citations
5
References
2010
Year
EngineeringAutomated ReasoningAutomatic ValidationVerificationFormal MethodsSystems EngineeringComputer-aided DesignComputer ScienceModel Transformation LanguageModel VerificationSoftware AnalysisModel TransformationFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1