Search
Now showing items 1-2 of 2
Supporting model animation methods with graph transformation
(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)