A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines.

Wuwei Shen, Kevin J. Compton, James Huggins

Browse the full APSEC paper archive.