Mesterséges Intelligencia és Rendszertervezés Tanszék
formális verifikáció (1) · időzített automata (1) · konkurens (1) · lokális szemantika (1) · modellellenőrzés (1)
Összesen 1 szakdolgozat és diplomaterv. Összes téma megtekintése »