二、知识的符号―网络模型(symbol-network model)(一)基本假设1. “记忆搜索”是在网络节点间的搜索。
基于1个网页-相关网页
symbol-network model
symbol-network模型
以上为机器翻译结果，长、整句建议使用 人工翻译 。
This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.
结果表明，利用符号模型检验方法分析检验网络协议是可行的。
youdao
应用推荐
模块上移
模块下移
不移动