您要查找的是不是：
- Second, ESTELLE, one of formal description technique, is extended to broadcast channel for description power. 第三章和第四章主要介绍了ESTELLE为代表的形式化描述技术。 针对ESTELLE描述通道的局限性,给出了一个描述广播通道的扩展;
- ESTELLE is a new formal description technique developed by the ISO for the description of computer communication protocols. ESTELLE是一种由ISO提出的用于描述计算机通信协议的形式化描述技术,并已成为国际标准。
- Estelle,a famous formal description technique,is discussed in this paper,where its principal features are also described. 本文主要研讨了一种著名的形式描述技术Estelle。 文中先论述了Estelle的主要特征;
- The paper introduces formal description techniques and SDL. 介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程。
- In this paper the ISO & CCITT formal description techniques will be introduced. 本篇文章中,将介绍ISO和CCITT的形式描述技术。
- Formal Description Technique Based on Estelle for Protocol 基于Estelle的协议形式描述技术
- Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for IN service and the theory and methods in IN's service verification. 本文依据国际电信联合委员会(ITU-T)的智能网能力集建议，对智能网业务的形式化描述技术(FDT)、智能网业务逻辑验证的理论与方法等进行了研究。
- EPr/TN NET SYSTEM AND THE FORMAL DESCRIPTION TECHNIQUE OF NETWORK PROTOCOLS EPr/TN网系统及网络协议形式描述技术
- Application of Formal Description Technique for Protocol Designing in Distributed Measuring and Controlling System 形式化方法在分布式测控系统协议设计中的应用
- ISO & CCITT Formal Description Techniques on Protocol Specification ISO和CCITT的形式描述技术
- formal description technique 形式描述技术
- Formal Description Techniques Supporting for Development of Communication Software System 通信软件系统开发中的形式化描述技术
- This paper gives a merger dynamic and static technique of partial evaluation for procedural language and its formal description, and we have implemented a partial evaluator for like-PASCAL. 摘要提出一种应用于过程式语言的动静态结合的部分求值技术，并给出该方法的形式描述。采用该方法，实现一个实验性的部分求值系统。
- formal description techniques 形式描述技术
- The OIM is a formal description of metadata constructs organized by subject area. OIM是按主题区域组织的元数据构造的正式说明。
- Ultimately, the UML model is converted into an XML schema, which is a very formal description of the XML vocabulary. 最后,UML模型转化成XML模式,这是XML词汇表非常正式的描述。
- Alternatively, the model could be processed into a WSDL file - again a formal description of a Web service. 或者模型被处理成WSDL文件,同样是Web服务的正式描述。
- Finally, an example is given to show modeling process and formal description based on extended RSL. 最后给出了一个实例说明 OOFSM的建模过程 ,并用扩充的 RSL进行了形式化描述
- The dissertation extends DisCo formal description language to precisely describe design pattern. 本文扩展了DisCo形式化描述语言，使其能很好地描述设计模式。
- Generalized transition network (GTN) is used to describe control flow as formal description in the system. 通过引入通用转换网络，对交互式多媒体应用系统的内部呈现流程进行了形式化描述；
