退出
我的积分:
中文文献批量获取
外文文献批量获取
沈阳; 齐德昱;
广东岭南职业技术学院;
华南理工大学计算机系统研究所;
形式语义; 多工位; 建模; 线性时序逻辑;
机译:基于重写的线性线性时序逻辑的基于模型的检查器
机译:基于线性时序逻辑的tccp抽象诊断
机译:基于可确定的超时的线性时序逻辑扩展
机译:基于MTCA的LLRF控制系统的改进的矢量调制卡,用于线性加速器
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:基于线性时序逻辑(LTL)的智能制造系统监控
机译:基于运动控制卡的NC塔式冲孔机构运动控制系统
机译:基于学习的线性时序逻辑规范马尔可夫决策过程综合控制方法。
机译:控制系统接口包括一个选择器开关和一个用于控制卡的底座,以及根据是否插入控制卡而互连的连接端子
机译:基于相关的背景校准,用于减少流水线模数转换器中的级间增益误差和非线性
机译:用于减少流水线模拟-数字转换器的级间增益误差和非线性的基于相关性的背景校准
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。