退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用组成模型检查进行硬件验证的方法
McMillan K.L.;
机译:Rebeca模型的模型检查,自动抽象和组成验证
机译:在硬件验证中使用过渡扰动进行符号模型检查的覆盖率估计
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:开放系统的模型检查:一种组合的软件验证方法。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:一种基于组合模型检验的硬件验证方法
机译:模型检查,抽象和组合验证。
机译:硬件增量模型检查验证
机译:扩展模型检查硬件验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。