Principles of DEVS Models Verification for Real-Time Embedded Applications

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

Other publications in the database