Szoftver szekció

kulcsszavak

absztrakció (1) · adatintegráció (1) · alm (1) · ar (1) · arm trustzone (1) · augmented reality (3) · automatizáció (1) · cryptography (1) · datasets (1) · dynamic instantiation (1) · életciklus menedzsment (1) · embedded (1) · formal methods (1) · formal verification (1) · formális módszerek (2) · formális verifikáció (1) · gráfadatbázis (1) · gráflekérdező rendszerek (1) · gráfminta (1) · hardening (1) · hololens (1) · ic3 (1) · integrity monitoring (1) · intelligens (1) · interaktív útmutató (1) · internet of things (1) · iot (1) · ipar (2) · ipar 4.0 (1) · kevert valóság (1) · kiterjesztett valóság (2) · machine learning (1) · metamodeling (1) · mixed reality (2) · model checking (1) · modellellenőrzés (1) · Monitorozás (1) · mr (1) · multi-level modeling (1) · objektum felismerés (1) · op-tee (1) · plm (1) · prediction explanation (1) · property directed reachability (1) · remote attestation (1) · sat solver (1) · secure boot (1) · secure update (1) · security (1) · szoftver verifikáció (1) · szövegelemzés (1) · tee (1) · test (1) · teszt generálás (1) · tesztelés (2) · trusted execution environment (1) · virtual reality (1) · virtuális valóság (1) · visual language (1) · visualization (1) · vr (1)

konzulensek

• 
  Forstner Bertalan Dr.
  (3 dolgozat)
• 
  Hajdu Ákos Dr.
  (2 dolgozat)
• 
  Hegedüs Ábel Dr.
  (1 dolgozat)
• 
  Mészáros Tamás Csaba Dr.
  (1 dolgozat)
• 
  Mezei Gergely Dr.
  (1 dolgozat)
• 
  Micskei Zoltán Dr.
  (1 dolgozat)
• 
  Ráth István Dr.
  (1 dolgozat)
• 
  Semeráth Oszkár Dr.
  (1 dolgozat)
• 
  Tóth Tamás
  (1 dolgozat)
• 
  Vörös András Dr.
  (1 dolgozat)