Automated Formal Verification of Graph Rewriting-Based Model Transformations
Date
Type
folyóiratcikk
ISSN, e-ISSN
1224-600X
Periodical Number
4
Periodical Volume
55(69)
Container Title
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
Gender
szakcikk