On-the-fly verification of discrete event simulations by means of simulation purposes (2011)
- Authors:
- USP affiliated authors: MELO, ANA CRISTINA VIEIRA DE - IME ; SILVA, PAULO SALEM DA - IME
- Unidade: IME
- Subjects: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO; ENGENHARIA DE SOFTWARE
- Language: Inglês
- Imprenta:
- Publisher: Society for Computer Simulation International
- Publisher place: San Diego, CA
- Date published: 2011
- Source:
- Título: Proceedings
- Conference titles: Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
-
ABNT
SILVA, Paulo Salem da e MELO, Ana Cristina Vieira de. On-the-fly verification of discrete event simulations by means of simulation purposes. 2011, Anais.. San Diego, CA: Society for Computer Simulation International, 2011. Disponível em: https://dl.acm.org/doi/10.5555/2048476.2048508. Acesso em: 28 fev. 2026. -
APA
Silva, P. S. da, & Melo, A. C. V. de. (2011). On-the-fly verification of discrete event simulations by means of simulation purposes. In Proceedings. San Diego, CA: Society for Computer Simulation International. Recuperado de https://dl.acm.org/doi/10.5555/2048476.2048508 -
NLM
Silva PS da, Melo ACV de. On-the-fly verification of discrete event simulations by means of simulation purposes [Internet]. Proceedings. 2011 ;[citado 2026 fev. 28 ] Available from: https://dl.acm.org/doi/10.5555/2048476.2048508 -
Vancouver
Silva PS da, Melo ACV de. On-the-fly verification of discrete event simulations by means of simulation purposes [Internet]. Proceedings. 2011 ;[citado 2026 fev. 28 ] Available from: https://dl.acm.org/doi/10.5555/2048476.2048508 - Model checking merged program traces
- A simulation-oriented formalization for a psychological theory
- Reusing models in multi-agent simulation with software components
- An ontology for mobile agents in the context of formal verification
- Verification of behaviourist multi-agent systems by means of formally guided simulations
- An architectural pattern to implement business rules in information systems
- An aproach for the verification of multi-agent systems by formally guided simulations
- Behaviorist agent architecture
- PiStache: implementing π-calculus in scala
- On the composition of Java frameworks control-flows
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
