automobiles; linear programming; 0-1 linear-fractional program; CPS; DSE; accuracy analysis; automotive systems; computation time analysis; cyber-physical systems; design space exploration; driving conditions; heuristics; integrated model; multiple runtime configurations; network performance analysis; network performance verification; network runtime configurations; run-time variability spaces; runtime variability; runtime variability space; smart cars; worst-case analysis; Data models; Delays; Integrated circuits; Performance evaluation; Ports (Computers); Runtime; Switches;
机译:ModelPlex:已验证验证网络 - 物理系统模型的运行时验证
机译:网络 - 物理生产系统运行时验证框架的设计与实现
机译:NORTH-网络物理系统的非侵入式观察和运行时验证
机译:验证具有多个运行时配置的电子物理系统的网络性能
机译:虚拟网络物理系统测试平台,用于网络入侵检测和预防系统验证
机译:基于无线传感器网络的基于多信息融合的可扩展本地化系统的实用性能分析
机译:ModelPlex:经过验证的网络物理系统模型的经过验证的运行时验证
机译:modelplex:已验证的网络物理系统模型的运行时验证。