Szekeres Dániel
DoktoranduszVillamosmérnöki és Informatikai Kar
Mesterséges Intelligencia és Rendszertervezés Tanszék
konferenciák
témák
kulcsszavak
a* (2) · abstraction (2) · absztrakció (4) · cegar (5) · concurrent software (2) · cone-of-influence (1) · data-flow analysis (1) · formal verification (2) · formális verifikáció (2) · heurisztika (2) · hierarchikus (1) · időzített automaták (1) · keresés (1) · keresési stratégiák (1) · ltl (1) · modellellenőrzés (4) · partial order reduction (1) · valós idejű rendszerek (1) · verifikáció (1)Több kulcsszó »
dolgozatok
Összesen 6 dolgozat. Összes dolgozat »
helyezés szerint
különdíj szerint
dolgozatok
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2020. évi TDK konferencia »
Modellezés és szimuláció szekció,
2020
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2019. évi TDK konferencia »
Modellezés és szimuláció szekció,
2019