Molnár Vince Dr.
AdjunktusVillamosmérnöki és Informatikai Kar
Méréstechnika és Információs Rendszerek Tanszék
konferenciák
- 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
- Modellezés és szimuláció
- Szoftver
kulcsszavak
a* (1) · abstraction (1) · absztrakció (3) · algoritmus (2) · algoritmusok (1) · állapotalapú modell (1) · állapotgép (3) · automatatanulás (1) · autosar (1) · beágyazott rendszerek (2) · cegar (3) · concurrency (1) · concurrent (1) · döntési diagram (1) · ellenpélda (1) · eszköz (1) · explicit (1) · folyamatmodell (1) · formal verification (2) · formális modellezés (1) · formális módszerek (2) · formális verifikáció (5) · gamma (1) · granularitás (1) · hardware (1) · heurisztika (1) · hierarchikus (3) · interaktív tanulás (1) · keresés (2) · kódgenerálás (2) · komponens (1) · kompozíció (1) · kompozicionális tervezés (1) · kritikus rendszerek (2) · kronecker-algebra (1) · ltl (1) · markov-láncok (1) · mcm (1) · memory consistency (1) · model checking (1) · modeling language (1) · modell (3) · modellalapú szoftverfejlesztés (1) · modell-alapú tervezés (1) · modellellenőrzés (8) · modellezés (3) · Modelltranszformáció (2) · modular execution semantics (1) · multi-core (1) · multi-thread (1) · numerikus módszerek (1) · pssm (1) · reaktív (2) · reaktív rendszer (1) · redukció (1) · részleges rendezés (1) · sat (1) · smt (2) · software (1) · solver (1) · sysml (1) · systems modeling (1) · szabvány (1) · szemantika (1) · szimbolikus (1) · szimbolikus módszerek (1) · szintézis (1) · sztochasztikus analízis (1) · tanuló algoritmusok (1) · tervezés (1) · tesztgenerálás (1) · többszálú programok (1) · transition systems (1) · tricheck (1) · uml (1) · véges automaták (1) · vegyes szemantika (1) · verification (1) · verifikáció (7) · vezérelt (1) · xsts (1)Több kulcsszó »
Betöltés folyamatban, kis türelmet...
dolgozatok
Összesen 18 dolgozat. Összes dolgozat »
helyezés szerint
különdíj szerint
dolgozatok
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2013 konferencia »
Intelligens és információs rendszerek szekció,
2013
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2012 konferencia »
Szoftver szekció,
2012