Kateqoriyalar: Geliştirici alətləri, Keyfiyyət təminatı və sınaq proqram
- Ana səhifə
- Linux
- Geliştirici alətləri
- UPPAAL
- Yükləmə ...
UPPAAL 4.0.6
UPPAAL modelləşdirmə, dəyərləndirmə və məlumat növləri ilə uzadıla təyin avtomatlar şəbəkələr, (həmsərhəddir integers, diziler, və s.) Kimi modelləşdirilmişdir real-time sistemlərinin yoxlanılması üçün vahid vasitədir mühit.UPPAAL CORA VHS və Ametist...