Towards the Verification and Validation of DEVS Models

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

Other publications in the database