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