Modellek ellenőrzése

Semester: 
2019. tavasz

Modellek ellenőrzése: statikus analízis, tesztelés, formális modellellenőrzés (model checking).

Jegyzet, A5.

Letöltés: