„Formális módszerek” változatai közötti eltérés
ZH2 2018-as anyagok |
Exist/Select tutorial |
||
| 36. sor: | 36. sor: | ||
A [https://inf.mit.bme.hu/edu/courses/form/hazifeladat házi feladat kiírások] a tárgyhonlapon találhatók: | A [https://inf.mit.bme.hu/edu/courses/form/hazifeladat házi feladat kiírások] a tárgyhonlapon találhatók: | ||
*[[Media:Form_HF_UPPAAL_tutorial.pdf | Új UPPAAL tutorial]] | *[[Media:Form_HF_UPPAAL_tutorial.pdf | Új UPPAAL tutorial]] | ||
*[[Media:Form_HF_UPPAAL_tutorial2.pdf | UPPAAL tutorial PPT]] (exist és select kulcsszó magyarázata több házihoz elengedhetetlen) | |||
== 1. ZH == | == 1. ZH == | ||