Verification of Model Transformation
Title | Verification of Model Transformation |
Publication Type | Conference Paper |
Year of Publication | 2008 |
Authors | Horváth, Á. |
Conference Name | Proceedings of the 15th PhD Minisymposium |
Date Published | 02/2008 |
Publisher | Budapest University of Technology and Economics, Department of Measurement and Information Systems |
Conference Location | Budapest, Hungary |