Modellek ellenőrzése
Semester:
2015. tavasz
Modellek ellenőrzése, alapfogalmak, statikus ellenőrzés, tesztelés. Kitekintés jelleggel: formális verifikáció. A teszt fedettségtől (63. fólia) kezdve az anyagot gyakorlaton folytatjuk.
Letöltés: