科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
龙士工;
贵州大学计算机学院;
串空间; 安全协议; 类型缺陷;
机译:基于SAT的模型检查以进行安全协议分析
机译:基于规则的依赖关系模型,用于安全协议分析
机译:基于Maria的安全协议分析与验证Petri网模型
机译:基于视频和基于活动的指导对与安全带使用相关的高中生的知识,态度和行为意图的影响。
机译:安全带-换档延迟提示对 驾乘者的安全带使用 不要定期佩戴安全带
机译:基于SAT的安全协议分析模型检查
机译:理论生成与模型检验相结合的安全协议分析
机译:通用模型的大众化通用模型的创新艺术,方法,方式,过程,程序和工业应用,以整合预防性保健服务,健康或医疗保险,人寿保险和退休或退休计划,并与付款服务选项协同使用单一服务交付平台上的信用卡,预付卡或银行或金融机构的数字钱包,其目的是创建统一的360度自愿(或贡献)“社会安全性(特别是)”,以确保安全(在许多其他可能的组合术语中),以“可持续的健康保障和社会安全投资平台”(也称为“ SHASSIP”,并进一步用粗体字标记“ SECQUED”
机译:安全标记,其制造方法,具有该安全标记的物品,安全系统以及用于检测安全标记的反射带的检查装置
机译:基于能够防止图像材料形成过程中有害材料引起的环境问题的激光标记操作的三维安全膜图像模型的形成方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。