Publication | Closed Access
Automated verification of model transformations based on visual contracts
82
Citations
31
References
2012
Year
EngineeringProgram AnalysisAutomated ReasoningVerificationFormal MethodsSoftware AnalysisComputer-aided DesignComputer ScienceModel Transformation LanguageModel VerificationFormal VerificationModel TransformationModel Transformations
| Year | Citations | |
|---|---|---|
Page 1
Page 1