退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过施工方法对赛事-B中的网络 - 物理系统建模和验证的正确方法
Meryem Afendi;
机译:基于模型的网络物理系统的构建和验证
机译:ModelPlex:已验证验证网络 - 物理系统模型的运行时验证
机译:Veriphy:验证网络实物系统模型的验证控制器可执行文件
机译:事件B中的物理网络建模和验证的一种正确的构造方法
机译:实时和网络物理系统的建模和验证
机译:技术报告:迈向网络物理系统的系统性威胁建模方法
机译:ModelPlex:经过验证的网络物理系统模型的经过验证的运行时验证
机译:经验证的网络物理系统模型的经验证的运行时验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。