Dobos-Kovács Mihály
doktoranduszVillamosmérnöki és Informatikai Kar
Mesterséges Intelligencia és Rendszertervezés Tanszék
konferenciák
témák
kulcsszavak
absztrakció (4) · állapottérképek (1) · cegar (2) · chc (1) · formális verifikáció (2) · horn-klózok (1) · időzített automaták (1) · időzített rendszerek (1) · interprocedurális (1) · lusta absztrakció (1) · megoldó (1) · modelellenőrzés (1) · modellellenőrzés (3) · szoftververifikáció (1) · szolver (1) · valós idejű rendszerek (2) · verifikáció (1)Több kulcsszó »
dolgozatok
Összesen 4 dolgozat. Összes dolgozat »
helyezés szerint
különdíj 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