Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. REDLIB

REDLIB 8

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 3.0/5 - ‎1 ‎Голосов
Скачать

- Библиотека проверки моделей/симуляций для системы реального времени с плотными моделями C с технологией CRD (Часы-Ограничения Диаграммы). Библиотека параметрического анализа для линейно-гибридных систем в C с hrD (Hybrid-Restriction Diagram) technol

история версии

  • Версия version 8 размещено на 2011-05-29
  • Версия version_2 размещено на 2011-03-24
    Несколько исправлений и обновлений

Подробная информация о программе

Похожие программы

  • Open Pandora's Box Бесплатный

    Pandora является искусственным интеллектуальным веб-бота. Pandora является компонентом архитектуры ИИ, включая, память базы данных, XML, голос, голосовой рек, чат, IRC, HTTP, Wiktionary, Freebase, сознание, язык, графический

  • ActiveWizard Бесплатная пробная версия

    ActiveWizard — это простой в использовании элемент управления ActiveX, позволяющий создавать мастеров стиля «Windows 2000». Просто поместите элемент управления ActiveWizard в свою форму, добавьте элементы управления ActivePan

  • Tilem - TI Linux Emulator Бесплатный

    Эмулятор для серии 80 техас инструментов график калькуляторов. Он эмулирует все текущие модели калькулятора No80, кроме TI-81, и имеет отггер, внешнюю загрузку файлов и полную поддержку вспышки, включая загрузку флэш-приложен

  • CUBRID Cluster Бесплатный

    Смотрите http://www.cubrid.org/cluster. КЛАСТЕР CUBRID является кластером DBMS с открытым исходным кодом для высокой масштабируемости, включая глобальную схему, распределенные функции балансировки разделов и нагрузки. Это поб

  • Resolution Changer FREE Бесплатный

    ЭТО APP REQUIRES ROOT ( ) - это приложение#Resolution которое позволяет изменять разрешение устройства. Вы когда-нибудь подключаем устройство к телевизору или монитору и получаете черные полосы? Не в состоянии получить полное

  • Looper Event / Alert System Бесплатный

    Looper Event / Alert System - это приложение, в основном используемое для управления сетью для мониторинга и перенаправления оповещения. Он разработан с крайней простотой в виду, и очень модульно. Также используется в качеств

  • Keystone Parser Бесплатный

    Keystone Parser является передним концом парсера для определения языка ISO C.API Clouseau включен.

  • Easy Recovery Бесплатный

    Я ̃... Корневые Acces необходимо ̃ ... Это приложение устанавливает пользовательские восстановления, просто введите путь к нему, и он будет flashedI не несет ответственности ни за что!!! Рекомендуемые устройства (100 % работы

  • Privacy Blocker Бесплатная пробная версия

    ($1.99 в течение ограниченного времени, Нормальная цена будет $3.99)(Пожалуйста, попробуйте Конфиденциальность инспектор, прежде чем купить Конфиденциальность Blocker)Пользователи #9734 AT и T нуждаются в "SideLoading",

  • RKFS - A new filesystem for Linux Бесплатный

    RKFS - новая инновационная файловая система для Linux. Цель состоит в том, чтобы обеспечить простую, но в то же время мощную файловую систему, которая имеет все функции, как Ext2, но для небольших устройств (устройств с меньш