Bajczi Levente

dolgozatok

Ellenpélda-alapú absztrakció finomítás alkalmazásai párhuzamos programokon

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

Molnár Vince Dr. ( MIT)

I. helyezett

Konkurens programok HW-SW együttes verifikációja

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

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

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

I. helyezett

Memóriamodellekkel paraméterezhető állapotmentes szoftver-modellellenőrzés

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

Molnár Vince Dr. ( MIT)

I. helyezett