Verification of Model Transformations

Author	Horváth, Ákos
Author	Varró, Dániel
Date accessioned	2021-05-28T08:37:22Z
Date available	2021-05-28T08:37:22Z
Date of issue	2008
URI of identifier	http://hdl.handle.net/10890/15375
Language	en
Title	Verification of Model Transformations
Document type	könyvfejezet
Version	Published
Access level	Open access
Faculty	Faculty of Electrical Engineering and Informatics
Conference date	2008.02.04
Conference place	Budapest
Department	Department of Measurement and Information Systems
University	Budapest University of Technology and Economics
Date Issued	2008
ISBN, e-ISBN	978-963-420-938-6
Publisher	Budapest University of Technology and Economics
Publisher place	Online
Title of the container document	Proceedings of the 15th PhD Mini-Symposium
Document genre	Konferenciacikk
Conference title	15th PhD Mini-Symposium
First page	54
Last page	57

BME MIT PhD Minisymposium, 2008, 15th [22]
15th PhD Mini-Symposium of the Department of Measurement and Information Systems