Beágyazott rendszerek szekció

kulcsszavak

a* (1) · absztrakció (2) · adversarial examples (1) · adversarial training (1) · állapotgép (1) · áramkör (1) · autosar (1) · beágyazott óraszinkronizáció (1) · beágyazott szoftver (1) · biztonságkritikus rendszer (1) · C (1) · cegar (1) · chc (1) · elektronika (1) · elosztott rendszerek (1) · embedded systems (2) · energia (1) · formal verification (1) · frekvencia kompenzáció (1) · hardver (1) · heurisztika (1) · hierarchikus (1) · horn-klózok (1) · iot (1) · keresés (1) · machine learning (1) · malware detection (1) · megoldó (1) · mérés (1) · mérőrendszer (1) · mikrokontroller (1) · mikrovezérlő (1) · modelellenőrzés (1) · modell (1) · modellellenőrzés (1) · mutációs tesztelés (1) · műhold (1) · napelem (1) · nemlineáris dinamikus modellalkotás (1) · oszcillátor (1) · programozás (1) · rt-cps (1) · safety-critical (1) · semantics (1) · state machines (1) · szinkronizáció (1) · szolver (1) · tesztelés (1) · tesztgenerálás (1) · validation (1) · verifikáció (2)

konzulensek

• 
  Micskei Zoltán Dr.
  (2 dolgozat)
• 
  Molnár Vince Dr.
  (2 dolgozat)
• 
  Vörös András Dr.
  (2 dolgozat)
• 
  Rozgonyi Péter
  (1 dolgozat)
• 
  Szekeres Dániel
  (1 dolgozat)
• 
  Bajczi Levente
  (1 dolgozat)
• 
  Buttyán Levente Dr.
  (1 dolgozat)
• 
  Dobos-Kovács Mihály
  (1 dolgozat)
• 
  Dudás Levente Dr.
  (1 dolgozat)
• 
  Dülk Ivor Dr.
  (1 dolgozat)