This paper discusses formal description style of communication protocol for computer networks.

研讨计算机网络通信协议的形式描述风格.

互联网

The dissertation extends DisCo formal description language to precisely describe design pattern.

本文扩展了DisCo形式化 描述语言,使其能很好地描述设计模式.

互联网

The paper introduces formal description techniques and SDL.

介绍了形式化描述技术及其SDL语言,并以PPP协议 为例,研究了协议的形式化开发的整个过程.

互联网

We offer the formal description of negotiation protocol, negotiation strategies and the decision model for negotiation.

这里主要讨论了协商协议的规范化描述, 协商策略的表示和规划,以及协商中的建模问题.

互联网

In this paper the ISO & CCITT formal description techniques will be introduced.

本篇文章中,将介绍ISO 和 CCITT的形式描述技术.

互联网