Cziborová Dóra

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

Lusta absztrakciófinomítás algoritmusok általánosítása részbenrendezésekkel

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

Vörös András Dr. ( MIT) , Marussy Kristóf Dr. ( MIT)

Cziborová Dóra

nincs helyezés

Valós idejű szoftverintenzív rendszer modellek absztrakció alapú modellellenőrzése

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

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

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

Cziborová Dóra

I. helyezett