Szoftver szekció

kulcsszavak

4-értékű logika (1) · abstraction (1) · absztrakció (1) · adatbiztonság (1) · adatfeldolgozás (1) · ai (1) · algoritmus (1) · ar (1) · azonosítás (1) · biztonságkritikus rendszerek (1) · C (1) · c++ (1) · cegar (1) · egyidejűség (1) · fénykúp (1) · fénysebesség (1) · formális verifikáció (3) · galilei-transzformáció (1) · gépi látás (1) · gépi tanulás (1) · glr (1) · glsl (1) · GPU (1) · gráf (1) · grafika (1) · hiba lokalizáció (1) · hiperfelület (1) · hitelesítés (1) · hosszkontrakció (1) · identitásplatform (1) · idődilatáció (1) · időzített rendszerek (1) · inkrementális (1) · jogosultságkezelés (1) · kiterjesztett valóság (1) · linq (1) · lorentz-transzformáció (1) · lr (1) · megfigyelő (1) · model checking (1) · modell alapú tervezés (1) · modellellenőrzés (2) · modellezés (1) · mssql (1) · npl (1) · parciális modell (1) · protokoll (1) · relativisztikus doppler-effektus (1) · smt (1) · speciális relativitáselmélet (1) · sysml (1) · systems modeling (1) · szimuláció (1) · szintaktikai elemzés (1) · szoftver (2) · szoftverellenőrzés (1) · tanítóadat (1) · téridő (1) · téridő-diagram (1) · text minig (1) · transzformáció (1) · verifikációs eszközök (1) · világvonal (1) · vonatkoztatási rendszer (1) · vr (1) · wigner-rotáció (1) · xsts (1)

konzulensek

• 
  Marussy Kristóf Dr.
  (2 dolgozat)
• 
  Vörös András Dr.
  (2 dolgozat)
• 
  Bokor Nándor Dr.
  (1 dolgozat)
• 
  Ekler Péter Dr.
  (1 dolgozat)
• 
  Forstner Bertalan Dr.
  (1 dolgozat)
• 
  Max Gyula Dr.
  (1 dolgozat)
• 
  Micskei Zoltán Dr.
  (1 dolgozat)
• 
  Molnár Vince Dr.
  (1 dolgozat)
• 
  Semeráth Oszkár Dr.
  (1 dolgozat)
• 
  Somogyi Ferenc Attila Dr.
  (1 dolgozat)