Mesterséges Intelligencia és Rendszertervezés Tanszék
.NET (1) · 4-értékű logika (1) · absztrakció (2) · absztrakció finomítás (2) · adatvédelem (1) · benchmark (1) · biztonság kritikus rendszerek (1) · CI/CD (1) · deduktív verifikáció (1) · formális verifikáció (4) · git (1) · Github Actions (1) · gráfmintaillesztés (1) · Horn klózok (1) · intel sgx (1) · interprocedurális (1) · kontraktus (1) · kontraktus szintézis (1) · logikai kielégíthetőség (1) · MBSE (1) · megbízható futtatható környezet (1) · modell validáció (1) · modellellenőrzés (3) · moodle (1) · oktatási eszköz (1) · oktatási segédanyag (1) · Refinery (1) · SARIF (1) · statikus analízis eszköz (1) · SysML v2 (1) · Theta* (2) · verem (1) · Verziókezelés (1)
Összesen 6 szakdolgozat és diplomaterv. Összes téma megtekintése »