- Prima pagină
- Linux
- UPPAAL
- Descărcarea ...
UPPAAL 4.0.6
UPPAAL este un mediu instrument integrat pentru modelarea, validare și verificare a sistemelor în timp real modelat ca rețele de automate temporizate, acordate cu tipuri de date (numere întregi delimitate, tablouri, etc.).UPPAAL CORA este o ramură a...