Verification of Real-Time DEVS Models

BibTex references

@Conference_Paper\{SW09,
  author       = "Saadawi, Hesham and Wainer, Gabriel A.",
  title        = "Verification of Real-Time DEVS Models",
  category     = "Real-Time Systems; Real-Time Simulation",
  2nd category = "Multi Modeling and Modeling Formalisms",
  booktitle    = "Springsim 2009 conference proceeding",
  month        = "March",
  year         = "2009",
  editor       = "Hesham Saadawi, Gabriel Wainer",
  organization = "The Society for Modeling and Simulation International",
  address      = "P.O. Box 17900 San Diego, CA 92177-7900",
  keywords     = "DEVS, Formal methods verification, Real-Time software, Timed automata",
  url          = "http://cell-devs-02.sce.carleton.ca/publications/2009/SW09"
}

Other publications in the database