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

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2024-10-14

|

- 形式描述技术:直观LOTOS的提出和研究
- 暂无标题
- 通信学报 1989年第4期页码：28-38
- 作者机构：
  
  清华大学
- 作者简介：
- 基金信息：
- DOI：
  中图分类号：
- 纸质出版日期：1989
- 稿件说明：
移动端阅览
[1]史美林,闵京华.形式描述技术:直观LOTOS的提出和研究[J].通信学报,1989(04):28-38.
[1]史美林,闵京华.形式描述技术:直观LOTOS的提出和研究[J].通信学报,1989(04):28-38. DOI：

DOI：

摘要

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

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

提出直观LOTOS的概念。

Abstract

关键词

Keywords

references

0

浏览量

67

下载量

3

CSCD

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

提交

工具集

关联资源

相关文章

暂无数据

相关作者

暂无数据

相关机构

暂无数据

⁰