„Formális módszerek” változatai közötti eltérés
ZH2 2018-as anyagok |
Nincs szerkesztési összefoglaló |
||
| (2 közbenső módosítás, amit 2 másik szerkesztő végzett, nincs mutatva) | |||
| 4. sor: | 4. sor: | ||
| szak = InfoMsc | | szak = InfoMsc | ||
| kredit = 4 | | kredit = 4 | ||
| félév = tavasz | | félév = tavasz, ősz | ||
| kereszt = nincs | | kereszt = nincs | ||
| tanszék = MIT | | tanszék = MIT | ||
| 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 == | ||
| 62. sor: | 63. sor: | ||
**[https://docs.google.com/document/d/10fpLyMjveus15fMj7-qPi_ZzqALYy3Da-jv4dR2I9JY/edit?usp=sharing 2016.05.03 ZH2 - Hiányos] | **[https://docs.google.com/document/d/10fpLyMjveus15fMj7-qPi_ZzqALYy3Da-jv4dR2I9JY/edit?usp=sharing 2016.05.03 ZH2 - Hiányos] | ||
== | == Záróvizsga == | ||
[[:File:form_zvTetelKidolgozas_2020jan.pdf | Kidolozott tételek 2020 január]] | |||
== Kedvcsináló == | == Kedvcsináló == | ||