REDLIB 8
Você poderá baixar em 5 segundos.
Você também pode clicar no seguinte Link de Download Externo para iniciar o download:
http://sourceforge.net/projects/redlib/files/RED%2CTCTL%20model-checker%2C%20simulation-checker%2C%20parametric%20safety-analyzer/text%20mode/version%208/red.8.110529.tar.gz/download
Sobre REDLIB
* Biblioteca de verificação de modelos/simulação para sistema em tempo real com modelos densos em C com tecnologia CRD (Clock-Restriction Diagrams). * Biblioteca de análise paramétrica para sistemas lineares-híbridos em C com HRD (Diagrama de Restrição Híbrida) tecl
Programas Relacionados
-
Open Pandora's Box Livre
Pandora é um bot artificial inteligente baseado na web. Pandora é uma arquitetura de IA baseada em componentes, incluindo, memória de banco de dados, XML, voz, voz rec, chat, IRC, HTTP, Wiktionary, Freebase, consciência, ling
-
ActiveWizard Avaliação gratuita
ActiveWizard é um controle ActiveX fácil de usar que permite criar assistentes 'estilo Windows 2000'. Basta colocar um controle ActiveWizard no formulário, adicionar alguns controles ActivePane e o controle ActiveWizard redim
-
Tilem - TI Linux Emulator Livre
Um emulador para a série Z80 de calculadoras de gráficos Texas Instruments. Ele emula todos os modelos atuais da calculadora Z80, exceto o TI-81, e possui um depurador, carregamento externo de arquivos e suporte total de flas
-
CUBRID Cluster Livre
Veja http://www.cubrid.org/cluster. CUBRID Cluster é um DBMS de código aberto para alta escalabilidade, incluindo esquema global, partição distribuída e recursos de balanceamento de carga. É um projeto spin-off do projeto CUB
-
Resolution Changer FREE Livre
#####Resolution#Changer é um aplicativo que permite alterar a resolução do seu dispositivo. Já conectou seu dispositivo à sua TV ou monitor e tem barras pretas? Não é capaz de obter saída de resolução completa para a sua TV?
-
Looper Event / Alert System Livre
O Looper Event / Alert System é um aplicativo usado principalmente para gerenciamento de rede para realizar monitoramento e redirecionamento de alerta. Ele é projetado com extrema simplicidade em mente e é altamente modulariz
-
Keystone Parser Livre
Keystone Parser é um front-end analisador para a definição de idioma ISO C++..A API clouseau está incluída.
-
Easy Recovery Livre
ÂÂÂ Â Â... Root Acces precisava de ... Este aplicativo instala uma recuperação personalizada, basta entrar no caminho para ele e ele será piscado Eu não sou responsável por nada!!! Dispositivos em destaque (100 % de funcionam
-
Privacy Blocker Avaliação gratuita
($1,99 por tempo limitado, o preço normal será $3.99)(Por favor, tente o Inspetor de Privacidade antes de comprar o Bloqueador de Privacidade)E #9734 e at&T Os usuários precisam de "SideLoading" ativado para usar o
-
RKFS - A new filesystem for Linux Livre
RKFS - Um novo sistema de arquivos inovador para Linux. O objetivo é fornecer um sistema de arquivos simples, mas mas poderoso, que tenha todos os recursos como Ext2, mas para dispositivos pequenos (dispositivos com menor cap