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 11 találat.Exportálás Excelbe

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)

HDL modul verifikációja általános UVM keretrendszerben

Kis László (IIT)
Ambrus Nikolett Alma (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)

Monitor szintézis üzenet szekvencia specifikáció alapján

Dr. Majzik István (MIT)
Takács Róbert (BSc képzés, mérnök informatikus szak, 2015-2016. ősz)

Hierarchikus állapottérképek absztrakció-alapú ellenőrzése

Hajdu Ákos (MIT)
Czipó Bence (BSc képzés, mérnök informatikus szak, 2016-2017. ősz)