Automatic verification of DEVS models

Liliana Morihama, Viviana Pasuello, Gabriel A. Wainer
Proceedings of SISO Spring Interoperability Workshop, Orlando, FL. U.S.A - 2002
Download the publication : SISO02.PDF [290Ko]  
Category: Multi Modeling and Modeling Formalisms
2nd Category: Tools
Booktitle: Proceedings of SISO Spring Interoperability Workshop
Year : 2002
Address : Orlando, FL. U.S.A
URL: http://cell-devs.sce.carleton.ca/publications/2002/MPW02

BibTex references

@Conference_Paper\{MPW02,
  author       = "Morihama, Liliana and Pasuello, Viviana and Wainer, Gabriel A.",
  title        = "Automatic verification of DEVS models",
  category     = "Multi Modeling and Modeling Formalisms",
  2nd category = "Tools",
  booktitle    = "Proceedings of SISO Spring Interoperability Workshop",
  year         = "2002",
  address      = "Orlando, FL. U.S.A",
  url          = "http://cell-devs.sce.carleton.ca/publications/2002/MPW02"
}

Other publications in the database