BR-BMC

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.5/5 - ‎2 ‎Votos

Sobre BR-BMC

Implementação de um algoritmo de Revisão de Crenças usando verificação de modelo limitado para ACTL