Bajczi Levente
PhD studentVillamosmérnöki és Informatikai Kar
Méréstechnika és Információs Rendszerek Tanszék
konferenciák
témák
kulcsszavak
abstraction (1) · absztrakció (1) · cegar (1) · chc (1) · concurrent software (1) · formal verification (1) · horn-klózok (1) · megoldó (1) · modelellenőrzés (1) · partial order reduction (1) · szolver (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 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