Search
Now showing items 1-2 of 2
Transformation-based support for visual languages
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2007)
Model based program synthesis and runtime error detection for dependable embedded systems
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2007)