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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.