Browse theses

On this page you can browse the uploaded theses and filter them to any criteria.

Results

3 results.Export to Excel

Model driven development of the interfaces of CPSs

Farkas Rebeka Krisztina (MIT)
Kalmár Dávid (BSc degree, computer science and engineering programme, 2016-2017 Spring)

Learning based analysis of timed systems

Farkas Rebeka Krisztina (MIT)
Gujgiczer Anna (BSc degree, computer science and engineering programme, 2017-2018 Autumn)

Formal verification of MagicDraw statecharts

Farkas Rebeka Krisztina (MIT)
Gáti László Dávid (BSc degree, computer science and engineering programme, 2018-2019 Autumn)