Vizi Béla

dolgozatok

Absztrakció alapú modellellenőrzési technikák valós idejű rendszerekhez

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

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

Marussy Kristóf Dr. ( MIT) , Dobos-Kovács Mihály ( MIT) , Szekeres Dániel ( MIT)

Cziborová Dóra , Béla Vizi

II. helyezett