MIRACH

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 3.0/5 - ‎1 ‎Stemmen

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.