Journal of Beijing University of Posts and Telecommunications

  • EI核心期刊
A Rule Database Based UML Activity Model Checking Mechanism in Telecommunication Service
FENG Yue-zhong, LI Xiao-feng
JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM . 2008, (2): 76 -79 .  DOI: 10.13190/jbupt.200802.76.101