Automated Formal Verification of Graph Rewriting-Based Model Transformations
Szerző
Asztalos, Márk
Ekler, Péter
Lengyel, László
Levendovszky, Tihamér
Madari, István
Vajk, Tamás
Megjelenés ideje
2010
Nyelv
en
Egyéb azonosítók
MTMT: 2655973
A cikket/könyvrészletet tartalmazó dokumentum címe
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
