ISO和CCITT的形式描述技术

您当前的位置：

首页 >

文章列表页 >

ISO和CCITT的形式描述技术

更新时间：2024-10-14

|

- ISO和CCITT的形式描述技术
- 暂无标题
- 通信学报 1987年第4期页码：89-96
- 作者机构：
  
  南京通信工程学院计算机系
- 作者简介：
- 基金信息：
- DOI：
  中图分类号：
- 纸质出版日期：1987
- 稿件说明：
移动端阅览
[1]肖军模.ISO和CCITT的形式描述技术[J].通信学报,1987(04):89-96.
[1]肖军模.ISO和CCITT的形式描述技术[J].通信学报,1987(04):89-96. DOI：

DOI：

摘要

为了获得协议的精确和无二义性的说明

形式描述技术是需要的。本篇文章中

将介绍ISO和CCITT的形式描述技术。这些技术包括CCITT的SDL和ISO的形式描述语言ESTTELLE和LOTOS。ESTELLE和包含SDL/GR

SDL/PR

与Pascal类的X.250的SDL都是基于扩展的有穷状态机的语言

而LOTOS则是基于系统的可观察行为的时态次序的语言。在本文末尾

将介绍协议工程的概念

并对上述技术作出适当评价。

Abstract

关键词

Keywords

references

0

浏览量

24

下载量

1

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

相关文章

暂无数据

相关作者

暂无数据

相关机构

暂无数据

⁰