Szoftver szekció

kulcsszavak

abstraction (1) · absztrakció (1) · állapotgép (1) · Android (1) · architektúra (1) · asp.net core (1) · autentikáció (1) · blazor (1) · blokklánc (1) · cegar (2) · cloud (1) · cloud-init (1) · concurrent software (1) · debezium (1) · erőforráselosztás (1) · felhő (1) · formal verification (1) · formális módszerek (1) · formális verifikáció (1) · gépi látás (1) · gráflekérdezés (1) · home security (1) · iaas (1) · iac (1) · időzített automaták (1) · iot (1) · kafka (1) · kritikus rendszerek (2) · kvantumalgoritmus (1) · memóriaoptimalizáció (1) · modellalapú rendszertervezés (1) · modellellenőrzés (1) · modellezés (1) · mozgásszekvencia (1) · okosszerződés (1) · oktatás (1) · otthonbiztonsäg (1) · partial order reduction (1) · pózfelismerés (1) · pssm (1) · reaktív (1) · simon algoritmus (1) · szabvány (1) · szemantika (1) · szimmetrikus kulcsú titkosítás (1) · szimulátor (1) · szoftver (2) · szolgáltatásbiztonság (1) · terraform (1) · tervezési minták (1) · tervezésitér-bejárás (1) · tornagyakorlat (1) · tudásmentes bizonyítások (1) · uml (1) · valós idejű rendszerek (1) · virtualizáció (1)

konzulensek

• 
  Forstner Bertalan Dr.
  (2 dolgozat)
• 
  Marussy Kristóf Dr.
  (2 dolgozat)
• 
  Szekeres Dániel
  (2 dolgozat)
• 
  Vörös András Dr.
  (1 dolgozat)
• 
  Bajczi Levente
  (1 dolgozat)
• 
  Dobos-Kovács Mihály
  (1 dolgozat)
• 
  Elekes Márton
  (1 dolgozat)
• 
  Molnár Vince Dr.
  (1 dolgozat)
• 
  Simon Gábor
  (1 dolgozat)
• 
  Szeberényi Imre Dr.
  (1 dolgozat)