„Formális módszerek” változatai közötti eltérés
| 34. sor: | 34. sor: | ||
== Házi == | == Házi == | ||
A | A [https://inf.mit.bme.hu/edu/courses/form/hazifeladat házi feladat kiírások] a tárgyhonlapon találhatók: | ||
https://inf.mit.bme.hu/edu/courses/form/hazifeladat | *[[Media:Form_HF_UPPAAL_tutorial.pdf | Új UPPAAL tutorial]] | ||
== 1. ZH == | == 1. ZH == | ||