您要查找的是不是:
- A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state. 验证协议的程序,它从一个给定的初始状态机械地产生出一切可以到达的状态,并且审查每一状态下用户定义的条件的有效性。
- They are very useful in protocol verifications. This paper presents some methods of protocol verification and uses KRONOS to verify FDDI to introduce the method of using timed automata. 文章介绍了网络协议验证的几种方法,并以KRONOS验证FDDI协议为例说明了用时间自动机验证协议的方法。
- In the procedures of PE, which include design, description (modeling), verification, performance analysis, implement, test and maintenance, protocol verification is one of the key procedures. 在设计、描述(建模)、验证、性能分析、实现、测试和维护等协议工程的各个环节中,协议验证是最为关键的一个环节。
- bus interface protocol verification 总线接口协议验证
- Experimental result shows that the tool can simplify the proving process,and improve the efficiency of security protocols verification. 实现结果表明,该工具简化了安全协议的证明过程,提高了效率,具有较好的实用性。
- Experimental result shows that the tool can simplify the proving process, and improve the efficiency of security protocols verification. 实现结果表明,该工具简化了安全协议的证明过程,提高了效率,具有较好的实用性。
- Multi-agent Logic Program and its Application to Protocol Verification 多agent逻辑程序及其在协议验证中的应用
- The method to apply CCS (a Calculus for Communicating System) to protocol descriptions and protocol verifications is discussed in this paper. Two cases given in the paper show that CCS has a great potential application in the protocol engineering. 本文讨论的ccs在协议描述与验证方面的应用技术和两个案例分析表明,通讯系统演算ccs(aCalculusforCommunicatingSystems)在协议描述、协议验证等方面有巨大应用潜力。
- The organizer was familiar with the protocol of royal visits. 组织者熟悉国王出访的礼仪。
- The delegates have to be seated according to protocol. 代表们须按礼仪要求就座。
- Select the protocol tab and un-check all protocol except modem. 选择Protocolstab, 不要选取所有的协议,除Modem之外。
- protocol verification [计] 协议验证
- Customer credit info search and verification. 客户信用情况调查及核实。
- It was a gross breach of protocol. 这是粗暴违反外交礼节的行为。
- Gage verification or calibration rate. 计量器具检定率。
- To handle outside gage verification or calibration. 处理计量器具外部检定或校准业务。
- The design verification measures shall be recorded. 设计查证措施应予记录。
- These ports use the UDP protocol. 这些端口使用UDP协议。
- Type in your password, again, for verification. 重新输入口令,供验证之用。
- There are no protocol sequences. 没有协议序列。