退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于CCSL规范的样品引导自动合成
Ming Hu; Tongquan Wei; Min Zhang; Frédéric Mallet; Mingsong Chen;
机译:基于时钟的动态逻辑,用于验证同步系统中的CCSL规范
机译:基于时钟的动态逻辑,用于CCSL规范的调度分析
机译:CCSL作为规范语言的时空一致性语言的验证框架
机译:CCSL规范的样品指导自动合成
机译:自动黑盒GUI规范增强和测试数据生成
机译:从LEMS(NeuroML2的基础通用模型规范语言)自动生成代码
机译:将CCSL嵌入动态逻辑:验证CCSL规范的逻辑方法
机译:从正式规范自动合成安全关键应用的工业强度工具和技术。
机译:图案规格类型语音合成方法,图案规格类型语音合成装置,其程序和存储介质
机译:在计算机中实现的系统连接到计算机网络,并且通过多个同时用户来完成注塑系统的规格和确定,用于注塑系统的规格和确定的自动化方法。计算机中的实现系统连接到用于生产注塑成型系统的计算机网络。在用于生产注塑成型的计算机系统的实现过程中采用的方法,以及远程指定和确定注塑成型系统的方法
机译:用于同时固相合成几种相同或不同的肽的自动化装置以及所述自动化装置所使用的自动化合成方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。