Tóth Tamás
tudományos segédmunkatársVillamosmérnöki és Informatikai Kar
Mesterséges Intelligencia és Rendszertervezés Tanszék
konferenciák
- Villamosmérnöki és Informatikai Kar 2014
- Villamosmérnöki és Informatikai Kar 2016. évi TDK
- Villamosmérnöki és Informatikai Kar 2017. évi TDK
- Villamosmérnöki és Informatikai Kar 2018. évi TDK
témák
kulcsszavak
absztrakció (1) · absztrakt interpretáció (1) · állapottérkép (1) · analízis (1) · automatatanulás (1) · biztonságkritikus (1) · cegar (2) · elérhetőség (1) · elérhetőségi analízis (1) · fordítóprogram (1) · formal methods (1) · formal verification (1) · formális módszerek (1) · formális verifikáció (1) · hierarchikus (1) · ic3 (1) · időzített automata (1) · kiberfizikai rendszerek (1) · model checking (1) · modellalapú szoftvertervezés (1) · optimalizáció (1) · petri-háló elérhetőség (1) · programszeletelés (1) · property directed reachability (1) · rendszer (1) · sat (1) · smt (1) · verifikáció (2)Több kulcsszó »
Betöltés folyamatban, kis türelmet...
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 2012 konferencia »
Szoftver szekció,
2012