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

Objektum orientált verifikációs eljárások

Dr. Fehér Béla (MIT)
Barabás Bonifác (BSc képzés, villamosmérnöki szak, 2010-2011. tavasz)

Processzor szimulátorok vizsgálata

Lazányi János Gyula (MIT)
Wacha Gábor József (MSc képzés, villamosmérnöki szak, 2012-2013. ő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)

Memóriavezérlő modul verifikációja "e" nyelven

Dr. Fehér Béla (MIT)
Horváth Tamás (MSc képzés, villamosmérnöki szak, 2013-2014. tavasz)

UVM alapú PCI verifikáció

Dr. Fehér Béla (MIT)
Szabó Ákos Péter (BSc képzés, villamosmérnöki szak, 2014-2015. ő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)

PCI IP verifikációja UVM alapokon

Dr. Fehér Béla (MIT)
Vékony Gergő (BSc képzés, villamosmérnöki szak, 2014-2015. ősz)

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)

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)

Verifikációs környezet fejlesztése PCI Express eszközökhöz

Szántó Péter (MIT)
Papp Balázs (MSc képzés, villamosmérnöki szak, 2015-2016. tavasz)

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)

Network on a Chip megvalósítása

Wacha Gábor József (MIT)
Nickl István (MSc képzés, villamosmérnöki szak, 2017-2018. ősz)