TY - Journal of Beijing University of Posts and Telecommunications A1 - WANG Lei T1 - Consistency Checking Between UML Models and Code Based on Graph Theory and FSM Y1 - 2019-08-26 00:00:00.0 JF - Journal of Beijing University of Posts and Telecommunications JO - Journal of Beijing University of Posts and Telecommunications SP - 70 EP - 75 VL - 42 IS - 4 UR - {https://journal.bupt.edu.cn/EN/10.13190/j.jbupt.2018-283} N1 - 10.13190/j.jbupt.2018-283 ER -