Hajdu Ákos OData support

View the theses supervised by Hajdu Ákos »

Theses

Extensions to the CEGAR Approach on Petri Nets

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

A survey on CEGAR-based model checking

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