Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. MIRACH

MIRACH

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.0/5 - ‎1 ‎Votes
Télécharger

Nous développons MIRACH, un contrôle de modèle en ligne statistique pour les modèles de voies biologiques, basé sur le formalisme pltls pour exprimer les règles / propriétés à vérifier. MIRACH peut actuellement vérifier les modèles de voies écrits soit en CSML ou SBML.

historique de la version

  • Version files posté sur 2010-06-22
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2010-06-22

Détails du programme

Programmes connexes

  • Java RCX API Gratuit

    Une API Java pour contrôler le Lego Mindstorms RCX (v2.0). Cette API diffère des implémentations Java sortantes en ce qu’elle comprendra un contrôleur de tour USB IR basé sur Win32.

  • ACMLCWebsite Gratuit

    C’est le site web du chapitre ACM en Lebanon.In ce site, nous avons l’intention d’utiliser ASP.net, MySQL, Flash, et d’autres logiciels. Le site web sera le lien entre les membres de la section de l’ACM au Liban qui tentent d

  • sopa opensource operating system Gratuit

    SOPA est un système d’exploitation opensource hobby écrit à la fois en C et en Assemblée.Le premier but de ce projet est pour moi d’apprendre et, espérons-le, d’aider les autres lors de l’apprentissage sur le développement

  • ucabot Gratuit

    Ucabot es una asociacin de estudiantes de robotica. Ucabot est un groupe d’étudiants en robotique. Nous créons et travaillons avec des logiciels ouverts et du matériel ouvert. Ce groupe est créé par Amuca (Asociation des étud

  • Matrex Gratuit

    Matrex est une feuille de calcul vectorielle légère : calcule des blocs de valeurs, pas des cellules individuelles; il est fortement multithreaded ; les utilisateurs peuvent travailler ensemble sur des feuilles à l’aide d’un

  • JXML2OWL Gratuit

    Le projet JXML2OWL est divisé en deux sous-projets : JXML2OWL API, une bibliothèque pour cartographier les schémas XML à OWL Ontologies sur le plaform JAVA. JXML2OWL Mapper, une application autonome facile à utiliser avec une

  • Guide and Cheats for 100 Exits Gratuit

    Tout sur 100 sorties ! En utilisant nos conseils, vous serez en mesure de comprendre la logique de chaque niveau et de le passer avec succès!  ¢  ~  ... Contenu original et graphiques.  ¢  ~  ... Interfaceâ facile ~ Â

  • Swift Meeting Management System Gratuit

    SMMS (Swift Meeting Management System) est un système de planification des ressources de réunion s’appuyant sur le Web. Le SMMS est basé sur la technologie Web Java (Groovy/Grails), il a l’intention d’être facile à déployer,

  • Spasmos Gratuit

    Spasmos est un paquet Python qui permet aux scientifiques de simuler la dynamique des plasmas hautement collisionnels en utilisant un certain nombre de méthodes numériques.

  • Bilingual newspaper Vietnamese Gratuit

    Journal bilingue vietnamien et anglais - Android VersionOrient Light Inc a un nouveau produit EV News Newspaper Reading Plus bilingue vietnamien et anglais flexibleLes articles en anglais provenant de nombreuses sources telle