1、A Formal Description of the ASN.1’Encoding and Decoding
ASN．1編碼與解碼過程的一種形式化描述

2、SOFTWARE TRANSPLANTING TOOLS: A FORMAL DESCRIPTION AND CASE STUDY
軟件移植工具:形式描述及實例研究

3、Formal Description of a Multimedia Command Analyzer
多媒體命令分析器的形式化描述

4、A transport protocol and its formal description techniques for local networks are discussed.
本文研討局部網絡的傳輸協(xié)議及其形式描述技術。

5、EPr/TN NET SYSTEM AND THE FORMAL DESCRIPTION TECHNIQUE OF NETWORK PROTOCOLS
EPr／TN網系統(tǒng)及網絡協(xié)議形式描述技術

6、Design and Implementation for Compiler of Formal Description Language ASN.1
形式描述語言ASN.1及其編譯器的設計與實現(xiàn)

7、ISO & CCITT Formal Description Techniques on Protocol Specification
ISO和CCITT的形式描述技術

8、Formal Description of SIP in SDL
基于SDL語言的SIP協(xié)議的形式化研究

9、A Formal Description of the ASN1’Encoding and Decoding
ASN．1編碼與解碼過程的一種形式化描述

10、A Formal Description of the Simulation Model Based on Pushdown Automator
基于下推自動機的仿真模型形式化描述

11、Formal Description Technique Based on Estelle for Protocol
基于Estelle的協(xié)議形式描述技術

12、Formal description system of checking information and its parse system.
實現(xiàn)了閱卷信息的形式化描述以及對應的語言解釋系統(tǒng)。

formal description翻譯