MIRACH

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎1 ‎votos

Sobre MIRACH

Estamos a desenvolver o MIRACH, um Verificador de Modelos Estatísticos Online para Modelos de Caminhos Biológicos, baseado no formalismo plTLs para expressar as regras/propriedades a serem verificadas. A MIRACH pode atualmente verificar os modelos de vias escritas em CSML ou SBML.