北京邮电大学学报

  • EI核心期刊
基于规则库的电信业务UML活动图验证机制
冯跃忠，李晓峰
A Rule Database Based UML Activity Model Checking Mechanism in Telecommunication Service
FENG Yue-zhong, LI Xiao-feng
北京邮电大学学报 . 2008, (2): 76 -79 .  DOI: 10.13190/jbupt.200802.76.101

版权所有 © 2018 《北京邮电大学学报》编辑部 京ICP备14033833号     在线人数：今日访问 当前在线 总访问

通信地址：北京市海淀区西土城路10号北京邮电大学195信箱    邮编：100876    电话：(010)62281995    QQ：307514248    微博    留言    电子邮箱：byxb@bupt.edu.cn