Formal Verification of DEVS Simulation: Web Search Engine Model Case Study

A Inostrosa-Psijas, Veronica Gil-Costa, Gabriel A. Wainer, Mauricio Marin
Proceedings of 2016 Summer Computer Simulation Conference (SCSC) - July 2016
Category: Multi Modeling and Modeling Formalisms
2nd Category: Tools
Booktitle: Proceedings of 2016 Summer Computer Simulation Conference (SCSC)
Series : SummerSim '16
Month : July
Year : 2016
Publisher: Society for Computer Simulation International
URL: http://cell-devs.sce.carleton.ca/publications/2016/IGWM16

BibTex references

@Conference_Paper\{IGWM16,
  author       = "Inostrosa-Psijas, A and Gil-Costa, Veronica and Wainer, Gabriel A. and Marin, Mauricio",
  title        = "Formal Verification of DEVS Simulation: Web Search Engine Model Case Study",
  category     = "Multi Modeling and Modeling Formalisms",
  2nd category = "Tools",
  booktitle    = "Proceedings of 2016 Summer Computer Simulation Conference (SCSC)",
  series       = "SummerSim '16",
  month        = "July",
  year         = "2016",
  publisher    = "Society for Computer Simulation International",
  url          = "http://cell-devs.sce.carleton.ca/publications/2016/IGWM16"
}

Other publications in the database