Bartha Tamás Dr.
docensVillamosmérnöki és Informatikai Kar
Mesterséges Intelligencia és Rendszertervezés Tanszék
konferenciák
témák
kulcsszavak
algoritmusok (1) · cegar (1) · elérhetőség (1) · ellenpélda-alapú absztrakció finomítás (1) · korlátos modellellenőrzés (1) · lineáris idejű temporális logika (1) · ltl (1) · modellellenőrzés (1) · Petri-háló (2) · szaturáció (2) · verifikáció (3)Több kulcsszó »
Betöltés folyamatban, kis türelmet...
dolgozatok
Összesen 3 dolgozat. Összes dolgozat »