Szoftver szekció

kulcsszavak

algorithm (1) · autóipari (1) · biztonságkritikus beágyazott rendszerek (1) · cache (1) · case study (1) · distributed (1) · document handling (1) · driver (1) · efficiency (1) · emf (1) · emf-incquery (1) · formális modell (1) · függőségi gráf (1) · heuristics (1) · időzített rendszerek (1) · inkrementális (2) · kernel-mód (1) · k-indukció (1) · kódgenerálás (2) · lineáris idejű temporális logika (1) · ltl (1) · matlab simulink (1) · modell-alapú validáció (1) · modellellenőrzés (2) · modell-lekérdezések (1) · optimization (1) · pattern matching (1) · software (1) · szaturáció (1) · szoftveroptimalizáció (1) · teljesítmény (1) · tesztelés (1) · tesztgenerálás (1) · verifikáció (2) · visszavetítés (1)

konzulensek

• 
  Horváth Ákos Dr.
  (2 dolgozat)
• 
  Majzik István Dr.
  (2 dolgozat)
• 
  Ráth István Dr.
  (2 dolgozat)
• 
  Vörös András Dr.
  (2 dolgozat)
• 
  Juhász Sándor Dr.
  (1 dolgozat)
• 
  Kadlecsik Ferenc
  (1 dolgozat)
• 
  Bányász Gábor
  (1 dolgozat)
• 
  Bartha Tamás Dr.
  (1 dolgozat)
• 
  Csurgai-Horváth László Dr.
  (1 dolgozat)
• 
  Hegedüs Ábel Dr.
  (1 dolgozat)