UPPAAL

UPPAAL 4.0.6

UPPAAL on integroitu työkalu mallintamisessa, validointiin ja tarkastuksiin reaaliaikaisia ​​järjestelmiä mallinnetaan verkkojen ajastettu automaatti, laajennetaan tietotyyppejä (rajoittaa kokonaislukuja, paneelit, jne.).UPPAAL CORA on haara UPPAAL for...

2 Jun 15 Sisään Kehitystyökalut, Laadunvarmistus ja testaus ohjelmistojen
Linux
Lue lisää
UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

UPPAAL TIGA on laajennus UPPAAL [BDL04] ja se toteuttaa ensin tehokasta on-the-fly algoritmi ratkaisemiseksi pelien perusteella ajoitettu peli automaatti suhteen tavoitettavuuden ja turvallisuusominaisuuksia.Vaikka ajoitettu pelejä pitkään on tiedetty...

2 Jun 15
Linux
Lue lisää
xmmsctrl

xmmsctrl 1.9

xmmsctrl on pieni apuohjelma hallita xmms komentoriviltä. xmmsctrl tavoitteena on tarkoitus käyttää yhdessä sh testata xmms tilaan ja suorittaa tarvittavat toimet, esimerkiksi jos pelaa Keskeytät toisen pelaamista.Korko Tämän on sitoa avaimet ikkunan...

3 Jun 15 Sisään Audio-ohjelmiston
Linux
Lue lisää
Suosittu ohjelmisto