Horváth Ákos Dr.
tudományos munkatársVillamosmérnöki és Informatikai Kar
Mesterséges Intelligencia és Rendszertervezés Tanszék
konferenciák
- Villamosmérnöki és Informatikai Kar 2012
- 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
abstract view (1) · biztonságkritikus rendszerek (1) · design space exploration (1) · dse (2) · eclipse (2) · elosztott rendszerek (1) · emf (4) · emf-incquery (1) · felhő (1) · formális módszerek (1) · framework (1) · függőségi gráf (1) · genetikus algoritmus (1) · gráf transzformáció (1) · gráfadatbázis (1) · gráfminták (1) · incquery (2) · incrementális szinkronizáció (1) · inkrementális (1) · inkrementális lekérdezések (1) · keretrendszer (1) · lekérdezés optimalizáció (1) · matlab simulink (1) · mdd (1) · mde (1) · model transformation (1) · modell (2) · modell alapú szoftverfejlesztés (1) · modell karbantartás (1) · modell-alapú validáció (1) · modellező eszközök (1) · modellgenerálás (1) · modell-lekérdezések (1) · ocl (1) · optimalizálás (1) · rendszermodellezés (1) · smt megoldók (1) · szakterület-specifikus nyelvek (1) · tervezési tér bejárás (2) · többdimenziós optimalizálás (1) · verifikáció (1) · viatra (1) · visualization (1) · visszavetítés (1)Több kulcsszó »
dolgozatok
Összesen 9 dolgozat. Összes dolgozat »