MIRACH
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/mirach/files/MIRACH1.0.jar/download
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.
Programas Relacionados
-
Java RCX API Grátis
Uma API de Java para controlar o Lego Mindstorms RCX (v2.0). Esta API difere da saída das implementações de Java, na medida em que incluirá um controlador de torres DE INFRAVERMELHOS USB baseado em Win32.
-
ACMLCWebsite Grátis
Este é o site do capítulo ACM em Lebanon.In este site que pretendemos usar ASP.net, MySQL, Flash e outros softwares. O site será a ligação entre os membros do capítulo da ACM no Líbano tentando facilitar a comunicação entre o
-
sopa opensource operating system Grátis
A SOPA é um sistema operativo de opensource de passatempo escrito tanto em C como em Assembléia.O primeiro objetivo deste projeto é eu aprender e, com sorte, ajudar outros ao aprender sobre o desenvolvimento do SO.Sinta
-
ucabot Grátis
Ucabot es una asociacin de estudiantes de robotica. Ucabot é um grupo de estudantes de robótica. Criamos e trabalhamos com software aberto e hardware aberto. Este grupo é criado pela Amuca (Asociation of Cádiz University stud
-
Matrex Grátis
O matrex é uma folha de cálculo vetorial leve: calcula blocos de valores, não células únicas; é fortemente multi-límida; os utilizadores podem trabalhar juntos em folhas usando um servidor. Adaptadores para matlab, scilab, oi
-
JXML2OWL Grátis
O Projeto JXML2OWL está dividido em dois subproduções: JXML2OWL API, uma biblioteca para mapear esquemas XML para Owl Ontologies na placa JAVA. JXML2OWL Mapper, uma aplicação autónoma fácil de utilizar com uma interface gráfi
-
Guide and Cheats for 100 Exits Grátis
Tudo sobre 100 saídas! Usando as nossas dicas poderá compreender a lógica de cada nível e passá-la com sucesso! ...... Conteúdo original e gráficos. ...... Interface fácil... Basta clicar no próximo botão para mover os próxim
-
Swift Meeting Management System Grátis
SMMS (Swift Meeting Management System) é um sistema de agendamento de recursos de reunião baseado na Web. O SMMS baseia-se na tecnologia web Java (Groovy/Grails), pretende ser fácil de implementar, utilizar, ampliar e integra
-
Spasmos Grátis
Spasmos é um pacote Python que permite aos cientistas simular a dinâmica de plasmas altamente colisionais usando uma série de métodos numéricos.
-
Bilingual newspaper Vietnamese Grátis
Jornal bilingue Vietnamita e Inglês - Android VersionOrient Light Inc tem um novo produto EV News Newspaper Reading Plus bilingue vietnamita e inglês flexível Os artigos ingleses retirados de muitas fontes como BBC, VOA e tem