Mesterséges Intelligencia és Rendszertervezés Tanszék
absztrakció (1) · büchi automata (1) · formális módszerek (1) · formális verifikáció (2) · lineáris temporális logika (1) · modellellenőrzés (2)
Összesen 2 szakdolgozat és diplomaterv. Összes téma megtekintése »