Graics Bence
Tudományos segédmunkatársVillamosmérnöki és Informatikai Kar
Mesterséges Intelligencia és Rendszertervezés Tanszék
konferenciák
- 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
kulcsszavak
állapotalapú modell (1) · állapotgép (1) · folyamatmodell (1) · formal verification (1) · formális modellezés (1) · formális módszerek (1) · formális verifikáció (2) · gamma (1) · granularitás (1) · heterogén architektúra (1) · kiberfizikai rendszerek (1) · kódgenerálás (1) · kompozíció (1) · kritikus rendszerek (1) · modeling language (1) · modellellenőrzés (1) · modellezés (1) · Modelltranszformáció (1) · modellvezérelt fejlesztés (1) · modular execution semantics (1) · pssm (1) · reaktív rendszer (1) · szabvány (1) · szemantika (1) · transition systems (1) · uml (1)Több kulcsszó »
Betöltés folyamatban, kis türelmet...
dolgozatok
Összesen 5 dolgozat. Összes dolgozat »
helyezés szerint
különdíj szerint
dolgozatok
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2016. évi TDK konferencia »
Szimuláció és modellezés szekció,
2016
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2017. évi TDK konferencia »
Információs rendszerek szekció,
2017