退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:验证概率分支时间系统。
Gorlin, Andrey.;
State University of New York at Stony Brook.;
机译:概率分支和非概率分支时间中汇合和足够集的比较
机译:许多相同概率定时过程的参数化验证
机译:DMTF CIM上定时概率特性的验证和预测
机译:对嵌入式系统正式建模和验证方法和工具的比较分析。 概率方法
机译:概率约束网:用于概率混合系统建模和验证的正式框架。
机译:没有分支长度的概率发散时间估计:追溯恐龙鸟类飞行和冠禽的起源
机译:概率系统的自动验证技术。
机译:时间戳信息验证支持服务器设备,时间戳信息验证支持方式,它与计算机程序的结合以及时间戳信息验证
机译:测量设备,测量方法,测量程序,测量数据编辑装置,测量数据编辑方法,测量数据编辑程序,测量时间验证装置,测量时间验证方法和测量时间
机译:时间戳验证系统,时间戳验证站设备和时间戳验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。