退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用实时序列图进行硬件协议规范和符合性验证
机译:实时序列图适用于硬件要求规范和验证
机译:基本协议,消息序列图和需求规范的验证
机译:用于协议符合性验证的正式硬件规范语言
机译:使用实时序列图进行硬件协议规范和合规性验证
机译:使用实时序列图规范进行系统的形式验证
机译:Affymetrix基因组阵列探针序列的验证协议揭示了用于小鼠人类和大鼠研究的高探针准确性
机译:通信协议规范合规性验证系统
机译:数据处理系统具有签名硬件,其中在程序执行期间进行验证以通过硬件基于值和子序列来查找分配给子序列的子序列和测试值是否彼此匹配。
机译:规格验证程序,计算机可读存储介质规格验证程序,规格验证装置和规格验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。