Modellellenőrzés ízelítő
Semester:
2011. ősz
Az előadás tartalma:
- rövid, BSc szintű bevezető előadás a modellellenőrzés motivációjáról és alapfogalmairól
- az elvek demonstrációja az UPPAAL eszköz segítségével, vasútirányítási példán
Melléklet:
- a bevezető előadás fóliái
- szorgalmi feladat kiírás