Segesdi Dániel OData support

Theses

On the analysis of temporal logic specifications

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

Concretisation of abstract models using constraint solving problems

Dr. Szatmári Zoltán (MIT)
BSc degree, computer science and engineering programme, 2012-2013 Autumn