Mesterséges Intelligencia és Rendszertervezés Tanszék
absztrakció (2) · adat versenyhelyzetek (1) · API integráció (1) · automatizálás (1) · CEGAR (1) · deklaratív szabályok (1) · DevOps (1) · folyamatos integráció (1) · Folyamatos szállítás (1) · fomrális verifikáció (1) · formális módszerek (1) · formális verifikáció (3) · Github Actions (1) · gráfminta (1) · hibajavító algoritmus (1) · Interoperabilitás (1) · Java (1) · metaszolver (1) · modellalapú rendszertervezés (1) · modellellenőrzés (2) · párhuzamos programok (1) · portfólió (1) · Refinery (1) · részben rendezés redukció (1) · SMT szolver (1) · SysML v2 (1) · szoftververifikáció (1) · szolver (1) · Theta (3) · Többszálúság (1) · validáció (1)
Összesen 6 szakdolgozat és diplomaterv. Összes téma megtekintése »