Ingyenes Minőségbiztosítás és tesztelés szoftver Mert Alexandre David

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...