- 英文:
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
發表新回應