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.

Találatok

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

Petri-háló alapú kódgenerálás

Dr. Vörös András (MIT)
Meszes-Bábszki Áron (BSc képzés, mérnök informatikus szak, 2013-2014. tavasz)

Gráfrendező algoritmusok fejlesztése Petri-háló modellekhez

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

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

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

Szerkesztő keretrendszer Petri-háló alapú modellekhez

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

Petri-háló elérhetőségi algoritmusok vizsgálata

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

Adatintenzív rendszerek szimbolikus modellellenőrzése

Molnár Vince (MIT)
Soltész Adrián (BSc képzés, mérnök informatikus szak, 2015-2016. ősz)