Rational Time-Advance DEVS (RTA-DEVS)

Proceedings of 2010 Spring Simulation Conference (SpringSim10), DEVS Symposium, page 199--206 - April 2010
Download the publication : Rational Time Advance DEVSv11.pdf [365Ko]  
Category: Multi Modeling and Modeling Formalisms
2nd Category: Tools
Keywords: Discrete event simulation, DEVS, UPPAAL, DEVS verification, Timed Automata, model checking
Booktitle: Proceedings of 2010 Spring Simulation Conference (SpringSim10), DEVS Symposium
Series : Annual
Pages : 199--206
Month : April
Year : 2010
Publisher: SCS
URL: http://cell-devs.sce.carleton.ca/publications/2010/SW10

BibTex references

@Conference_Paper\{SW10,
  author       = "Saadawi, Hesham and Wainer, Gabriel A.",
  title        = "Rational Time-Advance DEVS (RTA-DEVS) ",
  category     = "Multi Modeling and Modeling Formalisms",
  2nd category = "Tools",
  booktitle    = "Proceedings of 2010 Spring Simulation Conference (SpringSim10), DEVS Symposium",
  series       = "Annual",
  pages        = "199--206",
  month        = "April",
  year         = "2010",
  publisher    = "SCS",
  keywords     = "Discrete event simulation, DEVS, UPPAAL, DEVS verification, Timed Automata, model checking",
  url          = "http://cell-devs.sce.carleton.ca/publications/2010/SW10"
}

Other publications in the database