Hegyi Bálint Bence

dolgozatok

Hierarchikus futásidejű verifikáció kritikus kiberfizikai rendszerekhez

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

Varró Dániel Dr. ( MIT) , Vörös András Dr. ( MIT) , Ráth István Dr. ( MIT)

Hegyi Bálint Bence , Balogh László Márk , Deé Flórián

II. helyezett