A Method Based on Meta-model for the Translation from UML into Event-B.

Weixuan Sun, Hong Zhang, Chao Feng, Yangzhen Fu

Browse the full QRS paper archive.