退出
我的积分:
中文文献批量获取
外文文献批量获取
曾红卫; 缪淮扣;
上海大学,计算机工程与科学学院,上海,200072;
构件组合; 模型检验; 状态爆炸; 等价关系; 反例引导的抽象精化;
机译:经典规划的反例指导的笛卡尔抽象精化
机译:讨论“关于层压梁-RC板坯组合梁的设计方法和试验验证的建议:考虑层压梁与RC板坯的集成效应的合理构件设计方法的构建,第2部分”
机译:叠合梁RC板组合梁设计方法的建议和试验验证:考虑叠合梁与RC板的集成效应的合理构件设计方法的构建(2)。
机译:树组合形式验证的抽象精化方法
机译:组合归约和抽象的新程序。
机译:发现和验证跨太平洋鲑鱼的多种物种和生态型的候选精化基因表达生物标记
机译:基于抽象细化的构件组成验证
机译:无限状态反应系统验证的抽象和组合性。
机译:电路描述的抽象装置和验证装置,电路描述的抽象程序和验证程序,以及电路描述的抽象方法和验证方法
机译:验证由软件组件组装而成的系统的方法,包括将软件组件整合到系统抽象中进行验证,在其中加载软件组件的验证条件
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。