Reusing models in multi-agent simulation with software components (2008)
- Authors:
- USP affiliated authors: MELO, ANA CRISTINA VIEIRA DE - IME ; SILVA, PAULO SALEM DA - IME
- Unidade: IME
- Subjects: SISTEMAS MULTIAGENTES; REDES SOCIAIS
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Proceedings
- Conference titles: International Conference on Autonomous Agents and Multi Agent Systems - AAMAS
-
ABNT
SILVA, Paulo Salem da e MELO, Ana Cristina Vieira de. Reusing models in multi-agent simulation with software components. 2008, Anais.. New York: ACM, 2008. Disponível em: https://dl.acm.org/doi/10.5555/1402298.1402379. Acesso em: 29 mar. 2024. -
APA
Silva, P. S. da, & Melo, A. C. V. de. (2008). Reusing models in multi-agent simulation with software components. In Proceedings. New York: ACM. Recuperado de https://dl.acm.org/doi/10.5555/1402298.1402379 -
NLM
Silva PS da, Melo ACV de. Reusing models in multi-agent simulation with software components [Internet]. Proceedings. 2008 ;[citado 2024 mar. 29 ] Available from: https://dl.acm.org/doi/10.5555/1402298.1402379 -
Vancouver
Silva PS da, Melo ACV de. Reusing models in multi-agent simulation with software components [Internet]. Proceedings. 2008 ;[citado 2024 mar. 29 ] Available from: https://dl.acm.org/doi/10.5555/1402298.1402379 - On-the-fly verification of discrete event simulations by means of simulation purposes
- Model checking merged program traces
- An ontology for mobile agents in the context of formal verification
- A simulation-oriented formalization for a psychological theory
- Verification of behaviourist multi-agent systems by means of formally guided simulations
- Bayesian networks in software maintenance management
- Towards MC/DC coverage of properties specification patterns
- Reusing hardware components with single-state processes
- A study on the potential active names of π-agents
- A formal environment model for multi-agent systems
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas