退出
我的积分:
中文文献批量获取
外文文献批量获取
张曦; 董威;
中国电子学会;
模型检验; 实时系统模型; 实时约束; WCET分析; 计算机系统;
机译:基于模型的不变量WCET分析
机译:基于模型的WCET分析中的程序语义:最新状态
机译:隐式路径枚举与基于WCET分析的模型检查的比较
机译:非住宅建筑领先节能技术评估方法研究第十二部分室外空气冷却节能效果敏感性分析检验
机译:基于BIM技术的设施架构分析模型及虚拟现实的使用=基于BIM技术和虚拟现实的体系统分析模型
机译:基于独立样本T检验的数据分析模型miR-150对口腔鳞状细胞癌进展的抑制作用
机译:基于WCET分析的隐式路径枚举与模型检验比较
机译:国家食品安全联盟技术小组审查基于HaCCp的检验模型项目
机译:基于光刻胶修整技术的光刻构图技术的预测工艺窗口的分析模型
机译:基于计算机模拟技术的基于硫化物的固体电解质分析方法和基于计算机模拟技术的基于硫化物的固体电解质分析程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。