- Hem
- Alexandre David
Ny Mjukvara För Alexandre David
UPPAAL TIGA 4.1.0-0.9
UPPAAL TIGA är en förlängning av UPPAAL [BDL04] och det genomför den första effektiva on-the-fly algoritm för att lösa spel baserade på tidsinställd spel automater med avseende på nåbarhet och säkerhetsegenskaper.Även tidsinställda spel för länge har...
UPPAAL 4.0.6
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...