退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:建筑模型的组成验证
Darren Cofer; Andrew Gacek; Steven Miller; Michael W. Whalen; Brian LaValley; Lui Sha;
机译:Rebeca模型的模型检查,自动抽象和组成验证
机译:用于高级架构系统模型驱动开发的正式架构验证方法
机译:随机混合系统的组成建模与验证框架
机译:重构设计模型以进行成分验证,一致性测试和归纳验证。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:验证架构:实时系统的组合推理
机译:mETa 2f:概率,组合,多维模型验证(pROmIsE)
机译:使用校准的特征分解模型对光刻工艺进行计算机辅助建模,可靠性检查和验证
机译:模型驱动的软件体系结构的验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。