Hajdu Ákos
DoktoranduszVillamosmérnöki és Informatikai Kar
Méréstechnika és Információs Rendszerek Tanszék
konferenciák
témák
kulcsszavak
absztrakció (2) · állapottérkép (1) · analízis (1) · biztonságkritikus (1) · cegar (2) · elérhetőség (1) · elérhetőségi analízis (1) · fordítóprogram (1) · formális módszerek (2) · formális verifikáció (2) · hierarchikus (1) · időzített automata (1) · modellellenőrzés (1) · optimalizáció (1) · programszeletelés (1) · rendszer (1) · sat (1) · smt (1) · szoftver verifikáció (1) · teszt generálás (1) · tesztelés (1) · verifikáció (2)Több kulcsszó »
Betöltés folyamatban, kis türelmet...
dolgozatok
Összesen 5 dolgozat. Összes dolgozat »