Automated Formal Verification of Graph Rewriting-Based Model Transformations

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