科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
萨仁高娃;
内蒙古师范大学计算机与信息工程学院,内蒙古呼和浩特010000;
模型检测; 形式化描述; 协议验证; LDP协议; ASK—CTL;
机译:手动X射线检查的分发协议
机译:检查对网络质量下降具有鲁棒性的程序分发协议
机译:多协议标签交换,标签分发协议(LDP)的管理对象的定义
机译:LDP:数据中心网络的位置发现协议。
机译:一种基于组织生物标记的模型该模型通过Rtog协议中的雄激素剥夺疗法的长度来鉴定具有远处转移和差异生存的高风险患者92-02
机译:用于标签分发协议(LDP),资源预留协议(RSVP)和资源预留协议 - 流量工程(RSVP-TE)扩展的IANA分配的文档,用于光学UNI信令的扩展
机译:异步通信的正式模型及其在机械验证双相标记协议中的应用
机译:在IPv6网络中使用标签分发协议LDP的IPv6 LDP系统及方法
机译:在网络节点中实现多标签分发协议LDP实例的LDP系统和方法
机译:标签分发协议(LDP)信令的多协议标签交换环
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。