Hajdu Ákos OData támogatás

Méréstechnika és Információs Rendszerek Tanszék

Kulcsszavai

absztrakció (1) · absztrakt interpretáció (1) · állapottérkép (1) · CEGAR (2) · elérhetőségi analízis (1) · hierarchikus (1) · SAT (1) · SMT (1) · statikus analízis (1) · szoftver verifikáció (1) · verifikáció (1)

Témái

Összesen 3 szakdolgozat és diplomaterv.  Összes téma megtekintése »

Képzés szerint:

Szak szerint:

Félév szerint: