Bajczi Levente
PhD studentVillamosmérnöki és Informatikai Kar
Mesterséges Intelligencia és Rendszertervezés Tanszék
konferenciák
témák
kulcsszavak
abstraction (2) · absztrakció (2) · cegar (1) · chc (1) · concurrent software (2) · cone-of-influence (1) · data-flow analysis (1) · formal verification (2) · formális verifikáció (1) · horn-klózok (1) · interprocedurális (1) · megoldó (1) · modelellenőrzés (1) · modellellenőrzés (2) · partial order reduction (1) · szoftververifikáció (1) · szolver (1) · verifikáció (1)Több kulcsszó »
Betöltés folyamatban, kis türelmet...
dolgozatok
Összesen 5 dolgozat. Összes dolgozat »
helyezés szerint
különdíj szerint
dolgozatok
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2021. évi TDK konferencia »
Beágyazott rendszerek szekció,
2021
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2018. évi TDK konferencia »
Beágyazott rendszerek és hardver szekció,
2018
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2020. évi TDK konferencia »
Szoftver szekció,
2020