结果表明，利用符号模型检验方法分析检验网络协议是可行的。
This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.
他希望检验网络沟通的边界，使我们有机会参与改变我们接受信息的方式。
Brendan is hoping to test the boundaries of on-line communication and provide us a chance to meditate about the way we receive information.
网络课程的学习评价是网络教学活动中的重要环节，是检验网络学习效果的重要指标。
The evaluation on web-based course learning is not only an important part of web-based teaching activities but also an indicator for assessing web-based learning.
应用推荐