BR-BMC

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

Implementação de um algoritmo de revisão de crenças usando a verificação de modelos limitados para ACTL

história da versão

  • Versão N/A postado em 2011-07-24
    Várias correções e atualizações
  • Versão N/A postado em 2011-07-24

Detalhes do programa