Czipó Bence

dolgozatok

Hierarchikus absztrakció alkalmazása állapot alapú rendszerek ellenőrzésére

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2016. évi TDK konferencia » Információs rendszerek szekció, 2016

Villamosmérnöki és Informatikai Kar » Információs rendszerek téma

Tóth Tamás ( MIT) , Hajdu Ákos Dr.

II. helyezett