机译:利用基于模糊集合决策制定的枪赛路由协议中的开销减少
机译:评估数据抽象助手,一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:评估数据抽象助手,一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:有状态协议的验证:应用的π演算中基于集合的抽象
机译:重新思考多跳无线网络的链路抽象:含义,跨层协议和部署。
机译:评估数据抽象助手一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:aIF-ω:具有可数族的基于集合的协议抽象