退出
我的积分:
中文文献批量获取
外文文献批量获取
王灏; 王换招; 刘洪斐; 田海燕;
西安交通大学电子与信息工程学院;
通信协议; 设计; DIDS模型; 分布式入侵检测系统; 网络安全; 计算机网络;
机译:使用模型驱动的体系结构和旋转模型检查器设计和验证通信协议
机译:使用模型检查设计和验证通信协议重复项
机译:DIDS:无线传感器网络中入侵检测系统的动态模型
机译:传统模型和新兴模型中多媒体通信协议的安全性分析
机译:用于传感器应用180 nm CMOS过程中SWIPT系统的自适应控制和通信协议的设计
机译:基于Estelle IsO形式描述技术的通信协议形式化设计
机译:集成模型设计方法的通信协议开发的SDL-OPnet模型转换方法
机译:一种自动确保设计模型,接口规范以及对该设计模型进行一个或多个测试的一致性的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。