... sequence checking 序列校验,时序检验... checking symbol 校验符号 checking information 检验信息, 误差校正...
基于34个网页-相关网页
checking-off symbol [计] 查讫符号
Now imagine that we are dealing with fairly typical RPC-style Web services that implement an operation for checking the current price for a given stock symbol.
现在，假设我们在处理相当典型的rpc样式的Web服务，该服务实现了检查给定股票当前价格的操作。
If you use the check box symbol for note flags you can follow up on your notes by checking them off.
如果您使用复选框符号作为笔记标记，那么您可以通过取消选中标记来对笔记进行后续操作。
This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.
结果表明，利用符号模型检验方法分析检验网络协议是可行的。
应用推荐