„Formális módszerek” változatai közötti eltérés
aNincs szerkesztési összefoglaló |
aNincs szerkesztési összefoglaló |
||
| 65. sor: | 65. sor: | ||
** 2.11 [[FormModInvar|Invariánsok és alkalmazásaik]] | ** 2.11 [[FormModInvar|Invariánsok és alkalmazásaik]] | ||
** 2.12 [[FormModPetriBovit|Kibővített értelmezésű Petri hálók]] | ** 2.12 [[FormModPetriBovit|Kibővített értelmezésű Petri hálók]] | ||
* FormModZH2Ossz | * [[FormModZH2Ossz]] | ||
===Tapasztalatok a segédeszközökkel=== | ===Tapasztalatok a segédeszközökkel=== | ||
* [[FormModDnaNet|DnaNet+Ina]] (Windows) | * [[FormModDnaNet|DnaNet+Ina]] (Windows) | ||
| 104. sor: | 104. sor: | ||
* [[FormModVizsga20060118Megoldas|Formális módszerek 2006. jan. 18-i vizsga megoldása]] | * [[FormModVizsga20060118Megoldas|Formális módszerek 2006. jan. 18-i vizsga megoldása]] | ||
* [[FormModVizsga20070117|Formális módszerek 2007. jan. 17-ei vizsga]] | * [[FormModVizsga20070117|Formális módszerek 2007. jan. 17-ei vizsga]] | ||
* FormModVizsga20070613 | * [[FormModVizsga20070613]] | ||
* FormModVizsga20080528 | * [[FormModVizsga20080528]] | ||
* FormModVizsga20080611 | * [[FormModVizsga20080611]] | ||
==Házi feladat - Régi== | ==Házi feladat - Régi== | ||