UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

UPPAAL TIGA é uma extensão do UPPAAL [BDL04] e ele implementa o primeiro algoritmo eficiente on-the-fly para resolver os jogos baseados em autômatos jogo cronometrado com respeito a propriedades acessibilidade e de segurança.Apesar dos jogos programados...

2 Jun 15
Linux
Leia mais
xmmsctrl

xmmsctrl 1.9

xmmsctrl é um pequeno utilitário para controlar XMMS a partir da linha de comando. O objetivo da xmmsctrl é para ser usado juntamente com sh para testar estado xmms e executar uma acção apropriada, por exemplo, se jogar, em seguida, fazer uma pausa outro...

3 Jun 15 Em Software de áudio
Linux
Leia mais
Software Popular