Marussy Kristóf
doktoranduszVillamosmérnöki és Informatikai Kar
Méréstechnika és Információs Rendszerek Tanszék
konferenciák
- 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
témák
kulcsszavak
4-értékű logika (1) · absztrakció (1) · algoritmus (1) · állapottérkép (1) · állapottérrobbanás (1) · architektúra szintézis (1) · biztonságkritikus rendszerek (2) · cps (1) · elosztott rendszer (1) · elosztott rendszerek (1) · extra-funkcionális követelmény (1) · formális verifikáció (1) · gráf (1) · gráfgenerálás (1) · időzített rendszerek (1) · kiberfizikai rendszerek (1) · markov-lánc (1) · megbízhatóság (2) · megbízhatósági modellezés (1) · mesterséges intelligencia (1) · modell alapú tervezés (1) · modell-alapú szoftvertervezés (1) · modellellenőrzés (2) · optimalizáció (1) · parciálális modellezés (1) · parciális modell (1) · Petri-háló (1) · probabilisztikus programozás (1) · relációs érvelés (1) · skálázódás (1) · strukturált tenzor reprezentáció (1) · szoftver (1) · szoftvertesztelés (1) · sztochasztikus analízis (1) · sztochasztikus modell (1) · tensor train (1) · tenzor (1) · tesztfedettség (1) · transzformáció (1) · vizualizáció (1)Több kulcsszó »
Betöltés folyamatban, kis türelmet...
dolgozatok
Összesen 9 dolgozat. Összes dolgozat »
helyezés szerint
különdíj szerint
dolgozatok
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2015. évi TDK konferencia »
Modellezés és szimuláció szekció,
2015
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2014 konferencia »
Intelligens rendszerek szekció,
2014
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2012 konferencia »
Jel- és képfeldolgozás szekció,
2012