北京邮电大学学报 ›› 2000, Vol. 23 ›› Issue (3): 49-63.
两种通信软件描述语言间一致性检验的定义及分析
邵 玮, 艾 波
- 北京邮电大学计算机科学与技术学院, 北京 100876
The Definition and Analysis of Consistence Check betweenTwo Telecommunication Software Description Languages
SHAO Wei, AI Bo
- Computer Science and Application School, Beijing University of Posts and Telecommunications, Beijing 100876, China