„Formális módszerek” változatai közötti eltérés
| 45. sor: | 45. sor: | ||
** [[FormModVizsgaAllapterkep|Állapottérképek]] | ** [[FormModVizsgaAllapterkep|Állapottérképek]] | ||
* [[FormModBev|Bevezetés]](TK 9-29) | * [[FormModBev|Bevezetés]](TK 9-29) | ||
* [[FormModOperatorok|LTL operátorok, és kapcsolatuk]] | * [[FormModOperatorok|LTL operátorok, és kapcsolatuk]] | ||
===Segédanyag az MSc-s 2. ZH-ra=== | ===Segédanyag az MSc-s 2. ZH-ra=== | ||
* FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve | * FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve | ||