Voltar aos Detalhes do Artigo Uma análise comparativa da especificação formal em sistemas multi-agente: os desafios e as exigências uma década depois Baixar ##common.downloadPdf##