Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. REDLIB

REDLIB 8

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎1 ‎votos
Baixar

* Biblioteca de verificação de modelos/simulação para sistema em tempo real com modelos em tempo denso em C com tecnologia CRD (Diagramas de Restrição do Relógio). * Biblioteca de análise paramétrica para sistemas linear-híbridos em C com tecnol de HRD (Diagrama de Restrição Híbrida)

história da versão

  • Versão version 8 postado em 2011-05-29
  • Versão version_2 postado em 2011-03-24
    Várias correções e atualizações

Detalhes do programa

Programas Relacionados

  • Open Pandora's Box Grátis

    Pandora é um bot artificial e inteligente baseado na web. Pandora é uma arquitetura de IA baseada em componentes, incluindo, memória de base de dados, XML, voz, voice rec, chat, IRC, HTTP, Wiktionary, Freebase, consciência, l

  • ActiveWizard Julgamento Gratuito

    ActiveWizard é um controlo ActiveX fácil de usar que lhe permite criar assistentes de estilo 'Windows 2000'. Basta colocar um controlo ActiveWizard no seu formulário, adicionar alguns controlos ActivePane, e o controlo Active

  • Tilem - TI Linux Emulator Grátis

    Um emulador para a série Z80 de calculadoras de gráficos texas instruments. Emula todos os modelos atuais da calculadora Z80, exceto o TI-81, e possui um depurador, carregamento de ficheiros externos e suporte flash completo,

  • CUBRID Cluster Grátis

    Veja http://www.cubrid.org/cluster. O CubRID Cluster é um DBMS agrupado de código aberto para alta escalabilidade, incluindo esquema global, divisórias distribuídas e funcionalidades de equilíbrio de carga. É um projeto spin-

  • Resolution Changer FREE Grátis

    ## Esta app requer raiz ##Resolution Changer é uma aplicação que permite alterar a resolução do seu dispositivo. Já ligou o seu dispositivo à sua TV ou monitor e obter barras pretas? Não consegue obter a produção de resolução

  • Looper Event / Alert System Grátis

    O Looper Event / Alert System é uma aplicação utilizada principalmente para a gestão da rede para realizar monitorização e reorientação de alerta. É projetado com extrema simplicidade em mente e é altamente modularizado. Tamb

  • Keystone Parser Grátis

    Keystone Parser é um front-end parser para a definição de idioma ISO C++.A API de Clouseau está incluída.

  • Easy Recovery Grátis

    ...... Root Acces precisava de... Esta aplicação instala uma recuperação personalizada, basta entrar no caminho e será mostrado Não sou responsável por nada!!! Dispositivos em destaque (100 % a trabalhar):- Samsung Galaxy W (

  • Privacy Blocker Julgamento Gratuito

    ($1,99 por tempo limitado, o preço normal será $3,99)(Tente o Inspetor de Privacidade antes de comprar o Privacy Blocker)☆ AT&T Os utilizadores precisam de "SideLoading" habilitado a utilizar a principal funci

  • RKFS - A new filesystem for Linux Grátis

    RKFS - Um novo sistema de ficheiros inovador para o Linux. O objetivo é fornecer um sistema de ficheiros simples, mas ainda assim poderoso, que tenha todas as funcionalidades como Ext2 mas para pequenos dispositivos (disposit