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

Absztrakt adatfolyamalapú utasításredukció párhuzamos programok modellellenőrzésének támogatásához

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

Bajczi Levente ( MIT) , Szekeres Dániel ( MIT)

Telbisz Csanád Ferenc

II. helyezett

Mérnöki modellek konfigurálható szemantikájú verifikációja moduláris modellezési nyelv segítségével

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2023. évi TDK konferencia » Modellezés és szimuláció szekció, 2023

Villamosmérnöki és Informatikai Kar » Modellezés és szimuláció téma

Molnár Vince Dr. ( MIT) , Graics Bence ( MIT)

I. helyezett