MIRACH
Je het binnen 5 seconden downloaden.
U ook op de volgende externe downloadkoppeling klikken om te beginnen met downloaden:
http://sourceforge.net/projects/mirach/files/MIRACH1.0.jar/download
Over MIRACH
We ontwikkelen MIRACH, een statistische online modelchecker voor biologische routemodellen, gebaseerd op het PLET-formalisme voor het uitdrukken van de regels/eigenschappen die moeten worden gecontroleerd. MIRACH kan momenteel trajecten modellen controleren die in CSML of SBML zijn geschreven.
Gerelateerde programma's
-
Java RCX API Gratis
Een Java API om de Lego Mindstorms RCX (v2.0) te besturen. Deze API verschilt van het verlaten van Java-implementaties in die zin dat het een Win32 gebaseerde USB IR-tower controller zal bevatten.
-
ACMLCWebsite Gratis
Dit is de website van het hoofdstuk van de ACM in Lebanon.In deze website willen we ASP.net, MySQL, Flash en andere software gebruiken. De website zal de schakel zijn tussen de leden van de ACM in Libanon die de communicatie
-
sopa opensource operating system Gratis
SOPA is een hobby opensource besturingssysteem geschreven in zowel C en Assembly.Het eerste doel van dit project is voor mij om te leren en hopelijk helpen andere bij het leren over OS ontwikkeling.Draag gerust een bijd
-
ucabot Gratis
Ucabot es una asociacin de estudiantes de robotica. Ucabot is een groep robotica studenten. We creëren en werken met open software en open hardware. Deze groep is gemaakt door Amuca (Asociation van Cadiz University studenten
-
Matrex Gratis
Matrex is een lichtgewicht vectoriale spreadsheet: berekent blokken van waarden, niet enkele cellen; het is sterk multithreaded; gebruikers kunnen samenwerken op bladen met behulp van een server. Adapters naar matlab, scilab,
-
JXML2OWL Gratis
JXML2OWL Project is verdeeld in twee subprojecten: JXML2OWL API, een bibliotheek voor het toewijzen van XML-schema's aan OWL Ontologieën op de JAVA-plaform. JXML2OWL Mapper, een gebruiksvriendelijke zelfstandige toepassing me
-
Guide and Cheats for 100 Exits Gratis
Alles over 100 Uitgangen! Met behulp van onze tips zult u in staat zijn om de logica van elk niveau te begrijpen en met succes doorgeven!  ¢  ~ Originele inhoud en afbeeldingen.  ¢  ~ Easy interfaceà ¢  ~ ... Klik op Vo
-
Swift Meeting Management System Gratis
SMMS(Swift Meeting Management System) is een webgebaseerd systeem voor het plannen van vergaderbronnen. De SMMS is gebaseerd op Java web technologie (Groovy / Grails), het is van plan om eenvoudig te implementeren, te gebruik
-
Spasmos Gratis
Spasmos is een Python-pakket waarmee wetenschappers de dynamiek van zeer botsende plasma's kunnen simuleren met behulp van een aantal numerieke methoden.
-
Bilingual newspaper Vietnamese Gratis
Tweetalige krant Vietnamees en Engels - Android VersionOrient Light Inc heeft een nieuw product EV News Newspaper Reading Plus tweetalige Vietnamese en Engels flexibelDe Engels artikelen uit vele bronnen, zoals BBC, VOA en is