The Formal Foundations in RSL for UML Statechart Diagrams

S. Meng, Z. Naixiao, and B. K. Aichernig

Abstract:

Reference: S. Meng, Z. Naixiao, and B. K. Aichernig. The Formal Foundations in RSL for UML Statechart Diagrams. Acta Scientiarum Naturalium Universitatis Pekinensis, 41(3):344-357, 2005.