TY - 北京邮电大学学报 A1 - 王雷 T1 - 基于图论和FSM的UML模型与代码一致性检测 Y1 - 2019-08-26 00:00:00.0 JF - 北京邮电大学学报 JO - 北京邮电大学学报 SP - 70 EP - 75 VL - 42 IS - 4 UR - {https://journal.bupt.edu.cn/CN/10.13190/j.jbupt.2018-283} N1 - 10.13190/j.jbupt.2018-283 ER -