EA10: Időt kezelő modellek és temporális logikák
Semester:
2011. ősz
Az előadás tartalma:
- Valósidejű rendszerek követelményeinek formalizálása és ellenőrzése
- Időzített automaták
- Időt kezelő temporális logika
- Modellellenőrzők
Letöltés:
