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

MIRACH

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

О MIRACH

Мы разрабатываем MIRACH, статистическую онлайн-модель Checker для биологических моделей пути, на основе формализма PLTLs для выражения правил / свойств, которые будут проверены. В настоящее время MIRACH может проверять модели путей, написанные либо в CSML, либо в SBML.

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

  • Java RCX API Бесплатный

    Java API для управления Lego Mindstorms RCX (v2.0). Этот API отличается от выхода из реализации Java тем, что он будет включать в себя контроллер ИК-башни Win32 на базе USB.

  • ACMLCWebsite Бесплатный

    Это веб-сайт главы ACM в этом Lebanon.In мы намерены использовать ASP.net, MyS'L, Flash и другие программы. Веб-сайт будет связующим звеном между членами главы ACM в Ливане, пытаясь облегчить общение между студентами.

  • sopa opensource operating system Бесплатный

    SOPA является хобби операционной системы с открытым исходным кодом, написанной как в C и Ассамблеи.Первая цель этого проекта для меня, чтобы узнать и, надеюсь, помочь другим, узнав о разработке ОС.Не стесняйтесь вносить

  • ucabot Бесплатный

    Ucabot es una asociacin de estudiantes de robotica. Ucabot - это группа студентов-робототехников. Мы создаем и работаем с открытым программным обеспечением и открытым оборудованием. Эта группа создана Amuca (Asociation студен

  • Matrex Бесплатный

    Matrex — это легкая векторная таблица: вычисляет блоки значений, а не одиночные ячейки; оно сильно multithreaded; пользователи могут работать вместе на листах с помощью сервера. Адаптеры к матлабу, scilab, октаве, Р.

  • JXML2OWL Бесплатный

    Проект JXML2OWL разделен на два подпроекта: JXML2OWL API, библиотека для картирования схем XML для OWL Ontologies на платформе JAVA. JXML2OWL Mapper, простое в использовании автономное приложение с графическим пользовательски

  • Guide and Cheats for 100 Exits Бесплатный

    Все о 100 Выходы ! Используя наши советы, вы сможете понять логику каждого уровня и успешно пройти его! Я ̃... Оригинальный контент и графика. Я ̃... Легкий интерфейс и ̃... Просто нажмите следующую кнопку, чтобы переместить

  • Swift Meeting Management System Бесплатный

    SMMS (Swift Meeting Management System) — это система планирования веб-ресурсов для собраний. SMMS является базой на Java веб-технологии (Groovy / Grails), он намерен быть простым в развертывании, использовании, расширении и и

  • Spasmos Бесплатный

    Spasmos - это пакет Python, который позволяет ученым моделировать динамику сильно коллизионных плазм с помощью ряда численных методов.

  • Bilingual newspaper Vietnamese Бесплатный

    Двуязычная газета вьетнамский и английский языки - Android VersionOrient Light Inc имеет новый продукт EV News Newspaper Reading Plus двуязычный вьетнамский и английский flexibleThe Английские статьи взяты из многих источнико