Hybrid Systems Modeling and Verification with DEVS

BibTex references

@Conference_Paper\{SW13a,
  author       = "Saadawi, Hesham and Wainer, Gabriel A.",
  title        = "Hybrid Systems Modeling and Verification with DEVS",
  category     = "Hybrid and Continous Systems",
  booktitle    = "Proceedings of 2013 SCS/ACM/IEEE Symposium on Theory of Modeling and Simulation, TMS/DEVS 2013",
  year         = "2013",
  note         = "San Diego, CA",
  url          = "http://cell-devs-02.sce.carleton.ca/publications/2013/SW13a"
}

Other publications in the database