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

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)

Monitorozás valósidejű beágyazott környezetben

Dr. Vörös András (MIT)
Hegyi Bálint Bence (BSc képzés, mérnök informatikus szak, 2015-2016. tavasz)

Gráfmintaillesztés-alapú futásidejű ellenőrzés

Dr. Vörös András (MIT)
Tóth Krisztián Dávid (BSc képzés, mérnök informatikus szak, 2016-2017. ősz)

Állapotgép-alapú monitorgenerálás C++ környezethez

Dr. Vörös András (MIT)
Deé Flórián (BSc képzés, mérnök informatikus szak, 2016-2017. ősz)

Kiberfizikai rendszerek gráfmintaillesztés-alapú monitorozása

Dr. Vörös András (MIT)
Szilágyi Gábor (MSc képzés, mérnök informatikus szak, 2017-2018. tavasz)