Mesterséges Intelligencia és Rendszertervezés Tanszék
absztrakció (1) · formális verifikáció (2) · időzített automata (1) · időzített rendszerek (1) · konkurens (1) · lokális szemantika (1) · modellellenőrzés (2) · részleges rendezés alapú redukció (1) · Theta* (1)
Összesen 2 szakdolgozat és diplomaterv. Összes téma megtekintése »