- Főoldal
- Linux
- Fejlesztői eszközök
- UPPAAL
- Letöltés ...
UPPAAL 4.0.6
UPPAAL egy integrált eszköz környezet modellezésére, a hitelesítésre és a valós idejű rendszerek modellezhetők hálózatok időzített automaták, kibővítve adattípusok (korlátos egész számok, tömbök, stb).UPPAAL CORA egyik ága a UPPAAL a költséghatékony...