Skip to main content

On Formalizing UML State Machines using ASM

Egon Börger‚ Alessandra Cavarra and Elvinia Riccobene

Journal
Information & Software Technology
Number
5
Pages
287−292
Volume
46
Year
2004