退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Veriphy:验证网络物理系统模型的验证控制器可执行文件
Brandon Bohrer; Yong Kiam Tan; Stefan Mitsch; Magnus O. Myreen; André Platzer;
机译:Veriphy:验证网络实物系统模型的验证控制器可执行文件
机译:ModelPlex:已验证验证网络 - 物理系统模型的运行时验证
机译:安全建模和正式验证生存性的特性:网络物理系统的应用
机译:ModelPlex:已验证的网络物理系统模型的已验证运行时验证
机译:实时和网络物理系统的建模和验证
机译:网络物理系统中控制模块的正式验证
机译:modelplex:已验证的网络物理系统模型的运行时验证。
机译:经验证的网络物理系统模型的经验证的运行时验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。