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

Időzített modellek ellenőrzése szaturációs algoritmussal

Dr. Vörös András (MIT)
Jámbor Attila (MSc képzés, mérnök informatikus szak, 2012-2013. ősz)

Paraméterezett időzített rendszerek formális analízise

Dr. Vörös András (MIT)
Tóth Tamás (MSc képzés, mérnök informatikus szak, 2013-2014. tavasz)

Hibaterjedés-modellezés támogatása Java PathFinderrel

Kocsis Imre (MIT)
Lakatos Dávid (MSc képzés, mérnök informatikus szak, 2013-2014. tavasz)

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)

Aszinkron rendszerek hatékony sztochasztikus analízise

Dr. Vörös András (MIT)
Klenik Attila (MSc képzés, mérnök informatikus szak, 2015-2016. tavasz)

CEGAR-alapú modellellenőrzés vizsgálata

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

Petri-hálók irányított modellellenőrzése

Molnár Vince (MIT)
Élő Dániel (BSc képzés, mérnök informatikus szak, 2015-2016. ő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)

Forgatókönyv alapú specifikációk vizsgálata

Dr. Micskei Zoltán Imre (MIT)
Horváth Benedek (MSc képzés, mérnök informatikus szak, 2017-2018. ősz)

PINS.NET - Formális modellek egységes kezelése .NET környezetben

Molnár Vince (MIT)
Hegedüs Levente (BSc képzés, mérnök informatikus szak, 2016-2017. ő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)

Inkrementális, induktív modellellenőrzés alkalmazása szoftverekre

Tóth Tamás (MIT)
Tegzes Tamás (BSc képzés, mérnök informatikus szak, 2018-2019. ősz)

Lapozás:
  • 1
  • 2
»