EA03: Elágazó idejű temporális logikák
Semester:
2013. tavasz
- 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: