Élő Dániel OData support

Theses

Verification techniques for the reconfiguration of cloud-based infrastructures

Dr. Vörös András (MIT)
MSc degree, computer science and engineering programme, 2017-2018 Autumn

Guided Model Checking of Petri Nets

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