Måste ha Kvalitetssäkring och testning av programvara För Alexandre David

UPPAAL är ett integrerat verktyg miljö för modellering, validering och verifiering av realtidssystem modelleras som nätverk av tidsinställd automater, utökade med datatyper (avgränsas heltal, matriser, etc.).UPPAAL CORA är en gren av UPPAAL för kostnads...