EA03: Elágazó idejű temporális logikák
Semester:
2012. tavasz
Az előadás anyaga:
- CTL*: Operátorok, mintapéldák, formális szintaxis és szemantika
- CTL: Kötöttségek, szintaxis és szemantika
- Követelmények formalizálása (példák)
Download:
