skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: autor: Melo, A remover Nome da Publicação: Proceedings remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
An aproach for the verification of multi-agent systems by formally guided simulations
An aproach for the verification of multi-agent systems by formally guided simulations
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An aproach for the verification of multi-agent systems by formally guided simulations

Paulo Salem da Silva Ana Cristina Vieira de Melo; IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Workshops WI-IAT (2013 Atlanta, Georgia)

Proceedings Piscataway : IEEE, 2013

Piscataway IEEE 2013

Localização: IME - Inst. Matemática e Estatística    (PROD-3005665 )(Acessar)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.