Vörös András Dr.
egyetemi docensVillamosmérnöki és Informatikai Kar
Méréstechnika és Információs Rendszerek Tanszék
konferenciák
- Villamosmérnöki és Informatikai Kar 2011
- 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
- Villamosmérnöki és Informatikai Kar 2016. évi TDK
- Villamosmérnöki és Informatikai Kar 2017. évi TDK
- Villamosmérnöki és Informatikai Kar 2018. évi TDK
- Villamosmérnöki és Informatikai Kar 2019. évi TDK
- Villamosmérnöki és Informatikai Kar 2020. évi TDK
- Villamosmérnöki és Informatikai Kar 2021. évi TDK
- Villamosmérnöki és Informatikai Kar 2022. évi TDK
- Villamosmérnöki és Informatikai Kar 2023. évi TDK
témák
- Beágyazott rendszerek
- Információs rendszerek
- Intelligens rendszerek
- Jelfeldolgozás
- Modellezés és szimuláció
- Neurális hálózatok
- Szoftver
kulcsszavak
absztrakció (6) · absztrakt interpretáció (1) · algoritmus (2) · algoritmusok (2) · automata (1) · automata-tanulás (1) · autonomous systems (1) · autonomous vehicles (1) · beágyazott rendszer (1) · biztonságkritikus beágyazott rendszerek (1) · biztonságkritikus rendszer (1) · biztonságkritikus rendszerek (2) · blockchain (1) · cegar (5) · complex event processing (1) · distributed systems (1) · domain specific modeling (1) · dsl (1) · edge (1) · elérhetőség (1) · elérhetőségi analízis (1) · ellenőrzés (1) · ellenpélda (1) · ellenpélda-alapú absztrakció finomítás (1) · elosztott rendszerek (1) · explicit (1) · formális módszerek (4) · formális verifikáció (7) · futásidejű (1) · gráf (1) · hardware (1) · heurisztika (1) · hierarchikus (2) · időzített automata (1) · időzített rendszerek (2) · keresés (2) · kiberfizikai rendszer (2) · k-indukció (1) · kockázatelemzés (1) · kódgenerálás (3) · komplex eseményfeldolgozás (1) · kompozicionális tervezés (1) · konkretizáció (1) · korlátos modellellenőrzés (1) · kronecker-algebra (1) · lináris (1) · lineáris idejű temporális logika (1) · logika (1) · ltl (3) · markov-láncok (1) · mde (1) · mintaillesztés (1) · model-based testing (1) · modeling (1) · modell (1) · modell alapú (1) · modell alapú szoftverfejlesztés (1) · modell-alapú tervezés (1) · modellalkotás (1) · modellellenőrzés (12) · modellezés (5) · modellező eszközök (1) · Modelltranszformáció (1) · Monitorozás (1) · numerikus módszerek (1) · óraszinkronizáció (1) · önvezető jármű (1) · Petri-háló (2) · petri-háló elérhetőség (1) · pltl (1) · redukció (1) · regressziós tesztelés (1) · rendszermodellezés (1) · részleges rendezés (1) · robosztusság (1) · robotika (1) · ros (1) · software (1) · szaturáció (3) · szimbolikus (1) · szimbolikus módszerek (1) · szimbolikus végrehajtás (2) · szimulátor (1) · szintézis (1) · szoftver (1) · szoftver ellenőrzés (1) · szoftvertesztelés (1) · sztochasztikus analízis (1) · temporális (1) · test data generation (1) · testing (1) · teszt generálás (1) · tesztelés (6) · tesztgenerálás (3) · vasúti rendszerek (1) · verification (1) · verifikáció (13) · vezérelt (1) · vezetéknélküli szenzorhálózat (1) · vizualizáció (1)Több kulcsszó »
Betöltés folyamatban, kis türelmet...
dolgozatok
Összesen 42 dolgozat. Összes dolgozat »