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

Automatikus tesztgenerálás Spec Explorer segítségével

Dr. Majzik István (MIT)
Hugyi Károly (BSc képzés, mérnök informatikus szak, 2011-2012. tavasz)

Tesztmodell-definíció TTCN-3-ban

Dr. Erős Levente (TMIT)
Kriván Bálint (BSc képzés, mérnök informatikus szak, 2012-2013. ősz)

Komplex eseményfeldolgozás modell alapú tesztelése

Dr. Gönczy László (MIT)
Kovács Zsuzsa Kitti (BSc képzés, mérnök informatikus szak, 2014-2015. ősz)

Biztonságkritikus protokoll tesztelése formális modell alapján

Dr. Majzik István (MIT)
Maizl Noémi (BSc képzés, mérnök informatikus szak, 2018-2019. ősz)