Dobos-Kovács Mihály
doktoranduszVillamosmérnöki és Informatikai Kar
Méréstechnika és Információs Rendszerek Tanszék
konferenciák
témák
kulcsszavak
absztrakció (2) · cegar (1) · chc (1) · formális verifikáció (1) · horn-klózok (1) · időzített automaták (1) · megoldó (1) · modelellenőrzés (1) · modellellenőrzés (1) · szolver (1) · valós idejű rendszerek (1) · verifikáció (1)Több kulcsszó »
Betöltés folyamatban, kis türelmet...
dolgozatok
Összesen 2 dolgozat. Összes dolgozat »
helyezés szerint
különdíj szerint
évek szerint
dolgozatok
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2019. évi TDK konferencia »
Szoftver szekció,
2019
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2018. évi TDK konferencia »
Szoftver szekció,
2018
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2021. évi TDK konferencia »
Szoftver szekció,
2021