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