Automated Formal Verification of Model Transformations

Author	Varró, Dániel
Author	Pataricza, András
Date accessioned	2016-09-04T21:29:28Z
Date available	2016-09-04T21:29:28Z
Date of issue	2003
URI of identifier	http://hdl.handle.net/10890/2509
Language	en
Title	Automated Formal Verification of Model Transformations
Document type	egyéb konferenciaközlemény
Identifiers [mtmt]	2612548
Other container identifier	1635212
Title of the container document	Proc. of CSDUML 2003: Workshop on Critical Systems Development in UML;
Document genre	konferenciaközlemény

BME PA dokumentumai [3590]
Lezárt gyűjtemény. Fájlok hozzáférési felülvizsgálata folyamatban. Jelenleg a dokumentumok kizárólag BME-s IP címekről érhetők el.