Micskei Zoltán Dr.
egyetemi docensVillamosmérnöki és Informatikai Kar
Méréstechnika és Információs Rendszerek Tanszék
konferenciák
- Villamosmérnöki és Informatikai Kar 2013
- Villamosmérnöki és Informatikai Kar 2014
- Villamosmérnöki és Informatikai Kar 2015. évi TDK
- Villamosmérnöki és Informatikai Kar 2018. évi TDK
- Villamosmérnöki és Informatikai Kar 2021. évi TDK
témák
kulcsszavak
C (1) · datasets (1) · ekvivalenciapartíció (1) · formális verifikáció (1) · Java (1) · klee (1) · machine learning (1) · modellalapú fejlesztés (1) · prediction explanation (1) · regressziós tesztelés (1) · szimbolikus végrehajtás (3) · szoftver ellenőrzés (1) · szoftverellenőrzés (3) · szoftvertesztelés (2) · test (1) · tesztbemenet-generálás (1) · tesztelés (4) · tesztgenerálás (1) · verifikációs eszközök (1) · vizualizáció (1)Több kulcsszó »
Betöltés folyamatban, kis türelmet...
dolgozatok
Összesen 6 dolgozat. Összes dolgozat »