Principles of DEVS Models Verification for Real-Time Embedded Applications

Taylor and Francis, page 63--96 - 2012
Category: Real-Time Systems; Real-Time Simulation
2nd Category: Multi Modeling and Modeling Formalisms
Chapter : 3
Series : Authors: G. Wainer, P. Mosterman Eds, Book: Real-time Simulation Technologies: Principles, Methodologies, and Applications
Pages : 63--96
Year : 2012
Publisher: Taylor and Francis
Notes : http://www.crcnetbase.com/doi/abs/10.1201/b12667-5
URL: http://cell-devs.sce.carleton.ca/publications/2012/SWM12

BibTex references

@InBook\{SWM12,
  author       = "Saadawi, Hesham and Wainer, Gabriel A. and Moallemi, Mohammad",
  title        = "Principles of DEVS Models Verification for Real-Time Embedded Applications",
  category     = "Real-Time Systems; Real-Time Simulation",
  2nd category = "Multi Modeling and Modeling Formalisms",
  chapter      = "3",
  series       = "Authors: G. Wainer, P. Mosterman Eds, Book: Real-time Simulation Technologies: Principles, Methodologies, and Applications",
  pages        = "63--96",
  year         = "2012",
  publisher    = "Taylor and Francis",
  note         = "http://www.crcnetbase.com/doi/abs/10.1201/b12667-5",
  url          = "http://cell-devs.sce.carleton.ca/publications/2012/SWM12"
}

Other publications in the database