Soltész Adrián

dolgozatok

Szimbolikus modellellenőrzés és végrehajtási szekvencia generálás vezérelt kereséssel

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

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

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

Élő Dániel , Soltész Adrián

I. helyezett