退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用重写Modulo SMT符号规范和验证数据感知BPMN进程
Francisco Durán; Camilo Rocha; Gwen Salaün;
机译:具有保护术语的符号状态空间缩减,可重写SMT模
机译:符号状态空间减少与重写模制SMT的守卫条款
机译:基于SMT的数据感知过程验证:模型理论方法
机译:使用重写Modulo SMT的数据感知BPMN流程的符号规范和验证
机译:使用符号模型检查对化学过程进行事件建模和验证。
机译:常规教室中的符号行为:符号和非符号行为规范
机译:重写模态SMT和开放系统分析
机译:重写modulo smT和开放系统分析。
机译:规格验证程序,计算机可读存储介质规格验证程序,规格验证装置和规格验证方法
机译:可读记录介质,规格验证设备,在记录有规格验证程序的计算机上读取的规格和验证方法,程序
机译:逻辑规格验证程序,逻辑规格验证装置和逻辑规格验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。