„Formális módszerek” változatai közötti eltérés
File -> Media |
|||
| 71. sor: | 71. sor: | ||
* [[FormModSpinEdit |SpinEdit]] | * [[FormModSpinEdit |SpinEdit]] | ||
===UPPAAL=== | ===UPPAAL=== | ||
* | * [[:Media:uppaal-4.0.14-aca.zip | UPPAAL 4.0.14]] | ||
UPPAAL academic. Java VM szükséges a futtatásához. | |||
===Régi anyagok=== | ===Régi anyagok=== | ||
* [[FormMiVoltAzOran|Mi volt az órán?]] | * [[FormMiVoltAzOran|Mi volt az órán?]] | ||