退出
我的积分:
中文文献批量获取
外文文献批量获取
李梦君; 李舟军; 陈火旺;
国防科学技术大学;
计算机学院;
湖南;
长沙;
410073;
北京航空航天大学;
计算机科学与工程学院;
北京;
100083;
形式化验证; 安全协议; 逻辑程序;
机译:可扩展的工具,可进行有效的协议验证和测试
机译:安全协议验证工具的比较分析
机译:一个有效的工具,可确保基础设施安全并遵守货运法规
机译:SPVT-II:基于逻辑编程的高效安全协议验证
机译:使用基于规则的系统进行有效的协议验证。
机译:一个证据为基础的工具包有效的开发与可持续的根本原因分析系统安全解决方案
机译:空中作战中心(aOC)的战略规划可视化工具(spVT)第I卷:spVT摘要和COa草图
机译:用于在大型挖掘机的液压缸动臂或钢笔的组装或拆卸现场用叉车搬运的安全有效的工具领域包括:金属框架,由一组由金属部分形成的底座组成,在它们之间定义“ U”形,垂直结构,由直的和成角度的支柱组成,一个上夹具和一个下夹具;方法。
机译:一个非常有效的正畸记录记录和治疗监控系统。该系统专门设计用于对正畸治疗进展的定期照相记录进行分类,并提供一组简单但功能强大的工具,这些工具可选择性地检索治疗进展的比较视图。一套定制的软件工具使临床医生能够以最少的时间和精力来有效地进行诊断并计划下一次正畸预约。
机译:合同协议方法,协议验证方法,合同协议系统,协议验证设备,合同协议设备,合同协议程序和协议验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。