Automated Formal Verification of Graph Rewriting-Based Model Transformations

Thumbnail
Megtekintés/Megnyitás
Dátum
2010
Szerző
Asztalos, Márk
Ekler, Péter
Lengyel, László
Levendovszky, Tihamér
Madari, István
Vajk, Tamás
Metadata
Teljes megjelenítés
URI
http://hdl.handle.net/10890/4071
Collections