Szabó Tamás OData support

Theses

Heuristic Support for Model Checking of Asynchronous Systems

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

Transitive reachability for efficient event-driven model transformations

Dr. Bergmann Gábor (MIT)
MSc degree, computer science and engineering programme, 2012-2013 Autumn