Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling

Stephan Schulz II, T. C. Ewing, Jerzy W. Rozenblit. Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling. In 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK. pages 308, IEEE Computer Society, 2000. [doi]

@inproceedings{SchulzER00,
  title = {Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling},
  author = {Stephan Schulz II and T. C. Ewing and Jerzy W. Rozenblit},
  year = {2000},
  url = {http://csdl.computer.org/comp/proceedings/ecbs/2000/0604/00/06040308abs.htm},
  tags = {modeling, C++},
  researchr = {https://researchr.org/publication/SchulzER00},
  cites = {0},
  citedby = {0},
  pages = {308},
  booktitle = {7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0604-6},
}