网络通信协议的形式描述风格。
Communication agreement is the key to the realization of network communications.
他们的离婚案是通过邮寄书面协议的形式了结的。
安全协议的形式化验证是网络安全的一个重要领域。
Formal authentication of security protocol is an important field of network security.
我们需要达成某种形式的协议。
串空间模型是一种新兴的密码协议形式化分析工具。
Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
对这一系统拓扑形式、通讯协议、系统控制等进行了较为深入的探讨。
A system of the topological form, communication protocol, system control for a more in-depth discussion.
第三部分是对知识产权许可协议限制竞争行为表现形式本身进行的研究。
The third part is about the restrictive behavior in licensing of intellectual property.
项目目标是对形式化的协议理论的研究。
The target of this project is research on the protocol formal theories.
任何对这个协议的修补需要以书写的形式添加… (Addendum这里讲要加的条款) 。
Any Amendments to this Contract shall be in the form of an ADDENDUM…
任何对这个协议的修补需要以书写的形式添加… (Addendum这里讲要加的条款) 。
Any Amendments to this Contract shall be in the form of an ADDENDUM…
应用推荐