Automated Formal Verification of Graph Rewriting-Based Model Transformations

View/ Open
Metadata
Show full item record
Link to refer to this document:
Collections
- BME PA dokumentumai [3588]
- 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