Contains the keyword model transformation

Varró D, Gyapay S, Pataricza A. Automatic Transformation of {UML} Models for System Verification. In: Whittle J, editor. WTUML'01: Workshop on Transformations in UML. Genova, Italy; 2001. p. 123-7. Abstract
Varró D, Pataricza A. Mathematical Model Transformation for System Verification. Budapest University of Technology and Economics, Dept. of Measurement and Information Systems; 2000. Abstract
Syndicate content