Molnár Vince OData támogatás

Tekintse meg Molnár Vince konzulensként vezetett témáit is »

Témái

Szaturáció alapú modellellenőrzés lineáris idejű tulajdonságokhoz

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

Szaturáció alapú modellellenőrzés kiterjesztésének vizsgálata

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