Modellellenőrzés, programverifikáció
Semester:
2014. ősz
A viselkedésmodellek statikus és dinamikus ellenőrzése. A modellellenőrzés célja, bemenete és kimenetei. A program mint viselkedésmodell analízise.
