Principles of DEVS Models Verification for Real-Time Embedded Applications

BibTex references

@InBook\{SWM11,
  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      = "TBD",
  pages        = "TBD",
  month        = "June",
  year         = "2011",
  publisher    = "Taylor and Francis",
  note         = "Authors: G. Wainer, P. Mosterman Eds, Book: Real-time Simulation Technologies: Principles, Methodologies, and Applications",
  url          = "http://cell-devs.sce.carleton.ca/publications/2011/SWM11"
}

Other publications in the database