本文研讨局部网络的传输协议及其形式描述技术。

A transport protocol and its formal description techniques for local networks are discussed.

youdao

技术路线图应用简洁的图形、表格、文字等形式描述技术变化的步骤或技术相关环节之间的逻辑关系。

The technology roadmap USES the terse graph, table and character to depict the process of the technology change or the logic relations between every technological layer related.

youdao

最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。

Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.

youdao