Synthesizing hierarchical state machines from expressive scenario descriptions

Jon Whittle, Praveen K. Jayaraman. Synthesizing hierarchical state machines from expressive scenario descriptions. ACM Transactions on Software Engineering Methodology, 19(3), 2010. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.