Varró Dániel Dr.
egyetemi tanárVillamosmérnöki és Informatikai Kar
Mesterséges Intelligencia és Rendszertervezés Tanszék
konferenciák
- Villamosmérnöki és Informatikai Kar 2011
- Villamosmérnöki és Informatikai Kar 2013
- Villamosmérnöki és Informatikai Kar 2014
- Villamosmérnöki és Informatikai Kar 2015. évi TDK
témák
kulcsszavak
automata (1) · biztonságkritikus rendszer (1) · dse (1) · eclipse (1) · elosztott lekérdezések (1) · emf (2) · felhőalapú számítástechnika (1) · formális módszerek (1) · formális verifikáció (1) · genetikus algoritmus (1) · gráfmintaillesztés (1) · gráfminták (1) · gráftranszformáció (1) · incquery (1) · incrementális szinkronizáció (1) · kiberfizikai rendszer (1) · komplex eseményfeldolgozás (1) · mde (1) · modell (1) · modell karbantartás (1) · modellekérdezések (1) · modellgenerálás (1) · Modelltranszformáció (1) · ocl (1) · optimalizálás (1) · shape analízis (1) · smt megoldók (1) · szakterület-specifikus nyelvek (1) · tervezési tér bejárás (1) · végtelen állapotterek (1) · viatra (1)Több kulcsszó »
Betöltés folyamatban, kis türelmet...
dolgozatok
Összesen 6 dolgozat. Összes dolgozat »