Modellek ellenőrzése

Semester: 
2018. tavasz

Modellek ellenőrzése, statikus analízis, tesztelés, modellellenőrzés