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

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-02.sce.carleton.ca/publications/2016/IGWM16"
}

Other publications in the database