Automated Formal Verification of Graph Rewriting-Based Model Transformations
Megtekintés/ Megnyitás
Metadata
Teljes megjelenítésCollections
- BME PA dokumentumai [3736]
- Cím és alcím
- 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
- A forrás folyóirat évfolyama
- 55(69)
- A forrás folyóirat száma
- 4
- ISSN, e-ISSN
- 1224-600X
- Dokumentumtípus
- folyóiratcikk
- Műfaj
- szakcikk