机译:寻求一种严格的方法来验证电子物理系统是否符合要求
EDF Research and Development Division, Chatou, France;
EDF Research and Development Division, Chatou, France;
EDF Research and Development Division, Chatou, France;
Unified modeling language; Mathematical model; Safety; Computational modeling; Power generation; Numerical models;
机译:用于测试和验证网络物理系统的正式要求调试
机译:基于转换的网络物理系统安全性验证方法
机译:验证移动网络物理系统中参数化协议的形式化方法
机译:采取严格的方法来验证网络物理系统是否符合要求
机译:虚拟网络物理系统测试平台,用于网络入侵检测和预防系统验证
机译:网络物理系统中控制模块的正式验证
机译:通过施工方法对赛事-B中的网络 - 物理系统建模和验证的正确方法
机译:计算科学:通过协同仿真设计弹性网络物理系统的严谨方法。