Weixuan Sun, Hong Zhang, Chao Feng, Yangzhen Fu. A Method Based on Meta-model for the Translation from UML into Event-B. In 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Companion, Vienna, Austria, August 1-3, 2016. pages 271-277, IEEE, 2016. [doi]
Abstract is missing.