Modellek ellenőrzése

Semester: 
2019. tavasz

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

Jegyzet: A4, A5.

Download: