Graics Bence OData support

View the theses supervised by Graics Bence »

Theses

Model-driven design and verification of component-based reactive systems

Molnár Vince (MIT)
BSc degree, computer science and engineering programme, 2016-2017 Autumn

Mixed-Semantics Composition of Statecharts for the Model-Driven Design of Reactive Systems

Molnár Vince (MIT)
MSc degree, computer science and engineering programme, 2018-2019 Autumn