Topo Software Para Alexandre David
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...
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...
UPPAAL é um ambiente integrado de ferramentas para modelagem, validação e verificação de sistemas de tempo real modelados como redes de autômatos cronometrado, estendido com tipos de dados (números inteiros delimitadas, matrizes, etc.).UPPAAL CORA é um...