Dolgozatok listázása

Listázási feltételek

Kar:
Tanszék:
Konzulens:
Konferencia:
Szekció:
Téma:
Szponzor:
Kari különdíj:
Egyetemi különdíj:
Év:	-tól -ig
Helyezés:
Kulcsszó:

dolgozatok

Absztrakcióval támogatott hierarchikus keresési stratégiák a modellellenőrzés támogatására

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2021. évi TDK konferencia » Beágyazott rendszerek szekció, 2021

Villamosmérnöki és Informatikai Kar » Beágyazott rendszerek téma

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

Vörös Asztrik

nincs helyezés

Informált keresési stratégiák absztrakció alapú modellellenőrzésben

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2022. évi TDK konferencia » Beágyazott rendszerek szekció, 2022

Villamosmérnöki és Informatikai Kar » Beágyazott rendszerek téma

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

Vörös Asztrik

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

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 ( MIT)

Cziborová Dóra

nincs helyezés

Modellellenőrzés és tesztelés: egy kombinált megközelítés szoftverek verifikálására

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

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

Vörös András Dr. ( MIT) , Hajdu Ákos Dr.

Dobos-Kovács Mihály

II. helyezett