Publications
Mathematical Model Transformations for System Verification,
: Budapest University of Technology and Economics, May, 2001.
Towards an XMI–Based Model Interchange Format for Graph Transformation Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, September, 2000.
Abstract
A Unifying Semantic Framework for Multilevel Metamodelling,
: Budapest University of Technology and Economics, October, 2001.
UML Specification of Model Transformation Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, October, 2000.
Abstract
An XML Schema Description of Graph Transformation Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, January, 2001.
Abstract