Mesterséges Intelligencia és Rendszertervezés Tanszék
bmc (1) · k framework (1) · modell ellenőrzés (1) · Semantifyr (1) · statikus analízis (1) · symbolic execution (1) · szemantika (1) · típusrendszer (1) · validáció (1) · verifikáció (1) · XSTS (1)
Összesen 2 szakdolgozat és diplomaterv. Összes téma megtekintése »