- Startpagina
- Alexandre David
Best Software Voor Alexandre David
UPPAAL TIGA 4.1.0-0.9
Uppaal TIGA is een uitbreiding van Uppaal [BDL04] en het implementeert de eerste efficiënte on-the-fly-algoritme voor het oplossen van games gebaseerd op getimede spel automaten met betrekking tot de bereikbaarheid en veiligheid eigenschappen.Hoewel...
xmmsctrl 1.9
xmmsctrl is een klein programma om xmms vanaf de opdrachtregel controleren. xmmsctrl doel is om te worden gebruikt in combinatie met sh aan xmms state testen en uitvoeren van een passende actie, bv als het spelen dan pauzeren anders spelen.Het belang van...