Témák böngészése

Ezen az oldalon a Portálra feltöltött szakdolgozat és diplomaterv témák között böngészhet.

  • Konzulens választásához előbb válassza ki a tanszéket!

Találatok

Összesen 3 találat.Exportálás Excelbe

UVM alapú soros interfész verifikáció

Dr. Fehér Béla (MIT)
Hoffman Márk (MSc képzés, villamosmérnöki szak, 2015-2016. ősz)

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

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