退出
我的积分:
中文文献批量获取
外文文献批量获取
宋勇;
湖南民族职业学院;
安全通信协议 ; 协议设计 ; 形式化验证 ;
机译:用于无人机特设通信的网络入侵检测系统:从方法设计到真实测试验证
机译:用于UAV ad-hoc通信的网络入侵检测系统:从方法设计到实际测试验证
机译:关于SNSP的设计和形式验证:针对安全关键型应用程序的新型实时通信协议
机译:物联网系统安全通信协议的设计与实现
机译:基于模式的通信协议设计和验证。
机译:用于传感器应用180 nm CMOS过程中SWIPT系统的自适应控制和通信协议的设计
机译:使用模型驱动架构和旋转模型检查器设计和验证通信协议
机译:CapTIONaLs:用于验证和验证通信协议的计算机辅助测试环境
机译:系统安全设计和评估支持工具,系统安全设计支持工具,系统安全设计和评估支持程序以及系统安全设计支持程序
机译:系统安全设计辅助设备,系统安全设计辅助方法和系统安全设计辅助程序
机译:系统安全设计装置,系统安全设计方法和系统安全设计程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。