Paulo Salem da Silva Ana Cristina Vieira de Melo; IEEE/WIC/ACMInternationalJointConferenceonWebIntelligenceandIntelligentAgentTechnology - WorkshopsWI-IAT (2013Atlanta, Georgia)
Proceedings Piscataway : IEEE, 2013
Piscataway IEEE 2013
Localização:
IME - Inst. Matemática e Estatística
(PROD-3005671 )(Acessar)
An aproach for the verification of multi-agent systems by formally guided simulations
Paulo Salem da Silva Ana Cristina Vieira de Melo; IEEE/WIC/ACMInternationalJointConferenceonWebIntelligenceandIntelligentAgentTechnology - WorkshopsWI-IAT (2013Atlanta, Georgia)
Proceedings Piscataway : IEEE, 2013
Piscataway IEEE 2013
Localização:
IME - Inst. Matemática e Estatística
(PROD-3005665 )(Acessar)