Hajdu Ákos
TanársegédVillamosmérnöki és Informatikai Kar
Méréstechnika és Információs Rendszerek Tanszék
konferenciák
- Villamosmérnöki és Informatikai Kar 2016. évi TDK
- Villamosmérnöki és Informatikai Kar 2018. évi TDK
- Villamosmérnöki és Informatikai Kar 2020. évi TDK
témák
kulcsszavak
absztrakció (3) · állapottérkép (1) · analízis (1) · benchmark (1) · biztonságkritikus (1) · biztonságkritikus rendszerek (1) · C (1) · cegar (3) · elérhetőség (1) · elérhetőségi analízis (1) · fordítóprogram (1) · formális módszerek (3) · formális verifikáció (3) · formalizmus (1) · hierarchikus (1) · időzített automata (1) · köztes nyelv (1) · kritikus rendszerek (1) · modellellenőrzés (2) · optimalizáció (1) · programszeletelés (1) · rendszer (1) · sat (1) · smt (1) · szoftver (1) · szoftver verifikáció (2) · teljesítménymérés (1) · teszt generálás (1) · tesztelés (1) · tranzíciós rendszer (1) · verifikáció (3)Több kulcsszó »
Betöltés folyamatban, kis türelmet...
dolgozatok
Összesen 7 dolgozat. Összes dolgozat »