Mondok Milán

Doktorandusz
Villamosmérnöki és Informatikai Kar
Mesterséges Intelligencia és Rendszertervezés Tanszék

konferenciák

Villamosmérnöki és Informatikai Kar 2023. évi TDK (1 dolgozat)

témák

Beágyazott rendszerek (1 dolgozat)

dolgozatok

Összesen 1 dolgozat. Összes dolgozat »

helyezés szerint

I. helyezett (1 dolgozat)

különdíj szerint

évek szerint

2023 (1 dolgozat)

dolgozatok

Hatékony absztrakcióalapú modellellenőrzés doménspecifikus információk kihasználásával

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2021. évi TDK konferencia » Szoftver szekció, 2021

Villamosmérnöki és Informatikai Kar » Szoftver téma

Molnár Vince Dr. ( MIT)

I. helyezett

Kiterjesztett szimbolikus tranzíciós rendszerek: köztes nyelv mérnöki modellek formális verifikációjához

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2020. évi TDK konferencia » Szoftver szekció, 2020

Villamosmérnöki és Informatikai Kar » Szoftver téma

Hajdu Ákos Dr.

I. helyezett

Kritikus rendszerek absztrakcióval támogatott lineáris idejű modellellenőrzése

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2019. évi TDK konferencia » Szoftver szekció, 2019

Villamosmérnöki és Informatikai Kar » Szoftver téma

Vörös András Dr. ( MIT) , Molnár Vince Dr. ( MIT)

II. helyezett