Szoftver szekció

kulcsszavak

absztrakció (2) · algoritmus (1) · Android (1) · beágyazott rendszerek (1) · benchmark (1) · betanítás (1) · biztonságkritikus rendszerek (1) · C (1) · cegar (1) · centroid optimalizáció (1) · deep learning (1) · domain specific language (1) · döntési diagram (1) · dsl (1) · embedded (1) · energetika (1) · firmware update (1) · formális módszerek (2) · formális verifikáció (2) · formalizmus (1) · gépi tanulás (1) · gráfgenerálás (1) · hatékonyság (1) · heterogén architektúra (1) · internet of things (1) · iot (1) · ipar (1) · Java (1) · képzés (1) · keresés (1) · kiberfizikai rendszerek (1) · kiterjesztett valóság (1) · klaszterezés (1) · kódgenerálás (1) · kompozíció (1) · kotlin (1) · köztes nyelv (1) · kritikus rendszerek (1) · kvantum számítás (1) · machine learning (1) · modell-alapú szoftvertervezés (1) · modellellenőrzés (3) · modellvezérelt fejlesztés (1) · mps (1) · music (1) · predikció (1) · remote update (1) · sat (1) · secure boot (1) · secure update (1) · security (1) · smt (1) · solver (1) · szakterületi nyelv (1) · szoftver (1) · szoftver verifikáció (1) · szoftvertesztelés (1) · tablet (1) · teljesítménymérés (1) · típus (1) · tranzíciós rendszer (1) · verifikáció (2) · visualisation (1) · vizualizáció (2) · zene (1)

konzulensek

• 
  Ekler Péter Dr.
  (2 dolgozat)
• 
  Hajdu Ákos Dr.
  (2 dolgozat)
• 
  Molnár Vince Dr.
  (2 dolgozat)
• 
  Pásztor Dániel
  (1 dolgozat)
• 
  Semeráth Oszkár Dr.
  (1 dolgozat)
• 
  Vörös András Dr.
  (1 dolgozat)
• 
  Buttyán Levente Dr.
  (1 dolgozat)
• 
  Hideg Attila Dr.
  (1 dolgozat)
• 
  Marussy Kristóf Dr.
  (1 dolgozat)
• 
  Mezei Gergely Dr.
  (1 dolgozat)