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

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

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

Lue lisää