Search
Now showing items 1-4 of 4
Model transformation-based design of dependable systems
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2009)
Constraint validation-based performance optimizations in domain-specific modeling environments
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2014)
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)