退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用HOARE逻辑验证和验证SYSML活动图表
Yufei Yin; Shaoying Liu; Yixiang Chen;
机译:使用对Petri网的形式转换来验证SysML活动图
机译:TBFV-M:基于测试的系统活动图形式验证
机译:时间约束下的SysML活动图定量验证框架
机译:使用HOARE逻辑和SOFL验证SYSML活动图表
机译:系统工程中的验证和确认:应用于UML 2.0活动和类图
机译:因果图和匹配的案例对照研究的逻辑更正
机译:时间约束下sysmL活动图的定量验证框架
机译:具有经过验证的电路元件的可编程逻辑器件,可对有效闭合,有效,断开或无效熔断器连接状态进行分类。 (带有验证电路的可编程逻辑设备,用于验证开路或无效,
机译:用于验证高速缓存侦听逻辑以及指令和数据高速缓存之间的一致性以进行处理器设计验证和确认的系统和方法
机译:用于处理器设计验证和确认的高速缓存探听逻辑以及指令和数据高速缓存之间一致性的验证的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。