Automated Formal Verification of Graph Rewriting-Based Model Transformations

Thumbnail
View/Open
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/4071
Collections
Title
Automated Formal Verification of Graph Rewriting-Based Model Transformations
Author
Asztalos, Márk
Ekler, Péter
Lengyel, László
Levendovszky, Tihamér
Madari, István
Vajk, Tamás
Date of issue
2010
Language
en
Identifiers
MTMT: 2655973
Title of the container document
BULETINUL STIINTIFIC AL UNIVERSITATII POLITEHNICA DIN TIMISOARA ROMANIA SERIA AUTOMATICA SI CALCULATORAE / SCIENTIFIC BULLETIN OF POLITECHNICA UNIVERSITY OF TIMISOARA TRANSACTIONS ON AUTOMATIC CONTROL AND COMPUTER SCIENCE
Volume of container document
55(69)
Number of container document
4
ISSN, e-ISSN
1224-600X
Document type
folyóiratcikk
Document genre
szakcikk