Hajdu Ákos OData támogatás

Tekintse meg Hajdu Ákos konzulensként vezetett témáit is »

Témái

Petri-hálók CEGAR alapú vizsgálatának kiterjesztése

Dr. Vörös András (MIT)
BSc képzés, mérnök informatikus szak, 2013-2014. ősz

CEGAR-alapú modellellenőrzés vizsgálata

Dr. Vörös András (MIT)
MSc képzés, mérnök informatikus szak, 2015-2016. ősz