- 英文:
protocols - 翻译:
n. 协议 - 例句:
- 英文: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.
- 中文:验证协议的程序,它从一个给定的初始状态机械地产生出一切可以到达的状态,并且审查每一状态下用户定义的条件的有效性。
- 英文:The actions taken to implement protocols.
- 中文:为实现协议而采取的动作。
- 编号:
23489
添加新评论