Propaganda
E-mail temporário descartável
fornece ao usuário endereços de e-mail descartáveis que expiram após um determinado momento ...
correspondência descartável temporário E-mail temporário correio temporário
Permitir HTML temporário
Permitir HTML temporário é uma extensão do Thunderbird que permite ter HTML temporário ativado / permitido na mensagem selecionada. ...
Html. temporário Permitir HTML. Permitir temporário HTML temporária
Biblioteca de analisador de autômatos até o uppaal
A biblioteca de parser automaticamente cronometrado do Uppaal (libutap) é a biblioteca de parser usada pelo uppaal. ...
biblioteca de analisador Uppaal. UPPAAL Temporário cronometrado Automata cronometrada
Uppaal.
uppaal é um ambiente de ferramenta integrado para modelagem, validação e verificação de sistemas em tempo real. ...
ambiente integrado Uppaal. Ambiente de ferramenta integrado modelagem de sistemas em tempo real
TIGA UPPAAL.
Uppaal TIGA é uma extensão do uppaal e implementa o primeiro algoritmo eficiente em movimento para resolver jogos. ...
Uppaal. Resolvendo Resolvendo jogos verificador de linha de comando Algoritmo on-the-fly
Biblioteca do DBM do Uppaal.
Matrizes vinculadas (DBMS) são estruturas de dados eficientes para representar restrições de relógio em autômatos cronometrados. ...