A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z.

Soon-Kyeong Kim, David A. Carrington

Browse the full ICFEM paper archive.