Hybrid Systems Modeling and Verification with DEVS

Proceedings of 2013 SCS/ACM/IEEE Symposium on Theory of Modeling and Simulation, TMS/DEVS’13 - 2013
Download the publication : p10-SW13.pdf [494Ko]  
Category: Hybrid and Continous Systems
Booktitle: Proceedings of 2013 SCS/ACM/IEEE Symposium on Theory of Modeling and Simulation, TMS/DEVS’13
Year : 2013
Notes : San Diego, CA
URL: http://cell-devs.sce.carleton.ca/publications/2013/SW13a

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’13",
  year         = "2013",
  note         = "San Diego, CA",
  url          = "http://cell-devs.sce.carleton.ca/publications/2013/SW13a"
}

Other publications in the database