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

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

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

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

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

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

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

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

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

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

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

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

formal description翻譯