Introduction to the Discrete Event System Specification Formalism and its Application for Modeling and Simulating Cyber-Physical Systems

BibTex references

@Conference_Paper\{WGK18,
  author       = "Wainer, Gabriel A. and Goldstein, Rhys and Khan, Azam",
  title        = "Introduction to the Discrete Event System Specification Formalism and its Application for Modeling and Simulating Cyber-Physical Systems",
  category     = "Other",
  booktitle    = "Proceedings of the 2018 Winter Simulation Conference",
  year         = "2018",
  publisher    = "ACM Press",
  address      = "Gothenburg, Sweden",
  url          = "http://cell-devs-02.sce.carleton.ca/publications/2018/WGK18"
}

Other publications in the database