Micskei Zoltán Dr.
egyetemi docensVillamosmérnöki és Informatikai Kar
Mesterséges Intelligencia és Rendszertervezés 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
- Villamosmérnöki és Informatikai Kar 2022. évi TDK
témák
kulcsszavak
beágyazott szoftver (1) · biztonságkritikus rendszer (1) · C (2) · datasets (1) · ekvivalenciapartíció (1) · embedded systems (1) · formal verification (1) · formális verifikáció (1) · Java (1) · klee (1) · machine learning (1) · modellalapú fejlesztés (1) · mutációs tesztelés (1) · prediction explanation (1) · regressziós tesztelés (1) · safety-critical (1) · semantics (1) · state machines (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 (5) · tesztgenerálás (1) · validation (1) · verifikációs eszközök (1) · vizualizáció (1)Több kulcsszó »
Betöltés folyamatban, kis türelmet...
dolgozatok
Összesen 8 dolgozat. Összes dolgozat »