| 两种通信软件描述语言间一致性检验的定义及分析 |
| |
| 引用本文： | 邵玮,艾波. 两种通信软件描述语言间一致性检验的定义及分析[J]. 北京邮电大学学报, 2000, 23(3): 49-53 |
| |
| 作者姓名： | 邵玮 艾波 |
| |
| 作者单位： | 北京邮电大学计算机科学与技术学院,北京,100876 |
| |
| 摘 要： | 对两种通信软件描述语言ＦＤＬ和ＳＥＱＤ进行了简要介绍，给出它们基本对应关系的一致性定义，用状态树的概念对ＦＤＬ和ＳＥＱＤ之间的一致生检验方法进行了形式化分析与描述。
|
| 关 键 词： | 描述语言 一致性检验 功能描述语言 |
The Definition and Analysis of Consistence Check between Two Telecommunication Software Description Languages |
| |
| SHAO Wei,AI Bo. The Definition and Analysis of Consistence Check between Two Telecommunication Software Description Languages[J]. Journal of Beijing University of Posts and Telecommunications, 2000, 23(3): 49-53 |
| |
| Authors: | SHAO Wei AI Bo |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
