Mesterséges Intelligencia és Rendszertervezés Tanszék
BTOR2 (1) · CEGAR (1) · formális verifikáció (2) · futtatható teszteset generálás (1) · invariáns (1) · k-indukció (1) · korlátos modellellenőrzés (1) · legkisebb négyzetek módszere (1) · modellellenőrzés (2) · modellellenőrző (1) · modelltranszformáció (1) · Theta (1) · Theta* (1) · Többszálúság (1) · validálás (1)
Összesen 3 szakdolgozat és diplomaterv. Összes téma megtekintése »