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

Tesztelés támogatása a KLEE tesztgenerátorral

Dr. Micskei Zoltán Imre (MIT)
Kubriczky Ádám (BSc képzés, mérnök informatikus szak, 2018-2019. ősz)

Tervezési tér bejárási problémák modell alapú definíciója

Dr. Hegedüs Ábel (MIT)
Gardynik Robert (BSc képzés, mérnök informatikus szak, 2012-2013. tavasz)

Tervezési tér bejárás sztochasztikus metrikákkal

Molnár Vince (MIT)
Marussy Kristóf (MSc képzés, mérnök informatikus szak, 2017-2018. ősz)

Terrárium vezérlő tervezése és megvalósítása

Dr. Györke Péter (MIT)
Papp Viktor (BSc képzés, villamosmérnöki szak, 2016-2017. ősz)

Teszt rendszer Ethernet alapú vezérlése

Szántó Péter (MIT)
Pálinkás András (BSc képzés, mérnök informatikus szak, 2013-2014. ősz)

Temporális logikai specifikációk vizsgálata

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

Telemetria modul tervezése versenygokarthoz

Dr. Tóth Csaba (MIT)
Metzner Miklós Illés (BSc képzés, villamosmérnöki szak, 2015-2016. ősz)