Towards the Verification and Validation of DEVS Models

Yvan Labiche, Gabriel A. Wainer
Proceedings of the 1st Open International Conference on Modeling & Simulation, Clermont-Ferrand, France - 2005
Download the publication : Clermont05DEVS_V&V.pdf [106Ko]  
Category: Real-Time Systems; Real-Time Simulation
2nd Category: Multi Modeling and Modeling Formalisms
Booktitle: Proceedings of the 1st Open International Conference on Modeling & Simulation
Year : 2005
Address : Clermont-Ferrand, France
URL: http://cell-devs.sce.carleton.ca/publications/2005/LW05a

BibTex references

@Conference_Paper\{LW05a,
  author       = "Labiche, Yvan and Wainer, Gabriel A.",
  title        = "Towards the Verification and Validation of DEVS Models",
  category     = "Real-Time Systems; Real-Time Simulation",
  2nd category = "Multi Modeling and Modeling Formalisms",
  booktitle    = "Proceedings of the 1st Open International Conference on Modeling & Simulation",
  year         = "2005",
  address      = "Clermont-Ferrand, France",
  url          = "http://cell-devs.sce.carleton.ca/publications/2005/LW05a"
}

Other publications in the database