形式描述技术:直观LOTOS的提出和研究

您当前的位置：

首页 >

文章列表页 >

形式描述技术:直观LOTOS的提出和研究

更新时间：2024-10-14

- 形式描述技术:直观LOTOS的提出和研究
- Issue 4, Pages: 28-38(1989)
- 作者机构：
  
  清华大学
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：1989
- 稿件说明：
移动端阅览
[1]史美林,闵京华.形式描述技术:直观LOTOS的提出和研究[J].通信学报,1989(04):28-38.

[J]. 1989, (4): 28-38.
[1]史美林,闵京华.形式描述技术:直观LOTOS的提出和研究[J].通信学报,1989(04):28-38. DOI：

[J]. 1989, (4): 28-38. DOI：

摘要

计算机网络协议形式描述技术FDT是计算机网络协议工程中基本而重要的一个课题。LOTCS语言是FDT中的一种方法。它是由国际标准化组织ISO/TC97/SC21/WG1关于FDT特别小组提出的。本文在研究了标准LOTOS的基础上

对其进程语法表示方法进行了重大改进

提出直观LOTOS的概念。

Abstract

关键词

Keywords

references

0

Views

631

下载量

3

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Related Articles

No data

Related Author

No data

Related Institution

No data

AI问答

⁰