Verification of Real-Time DEVS Models

Springsim 2009 conference proceeding, P.O. Box 17900 San Diego, CA 92177-7900 - March 2009
Download the publication : Elevator verification_v7_DEVS09 Format.pdf [233Ko]  
Category: Real-Time Systems; Real-Time Simulation
2nd Category: Multi Modeling and Modeling Formalisms
Keywords: DEVS, Formal methods verification, Real-Time software, Timed automata
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
URL: http://cell-devs.sce.carleton.ca/publications/2009/SW09

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.sce.carleton.ca/publications/2009/SW09"
}

Other publications in the database