Dr. Darvas Dániel OData support

View the theses supervised by Dr. Darvas Dániel »

Theses

Efficient bounded model checking techniques for Petri net based formal models

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

Incremental extension of the saturation algorithm-based bounded model checking of Petri nets

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