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)