Search
Now showing items 1-3 of 3
Supporting model animation methods with graph transformation
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2011)
Event-driven model transformations in domain-specific modeling languages
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2011)
Automated offline verification of graph rewriting-based model transformations
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2012)