Computer systems programs; Design; Evaluation; Fault tolerance; Formal methods; Functionality; Parallel processing; Resilence; Scalability; Systems engineering; Cyber-physical systems; Co-simulation;
机译:寻求一种严格的方法来验证电子物理系统是否符合要求
机译:严格的网络物理系统设计
机译:Cyber Manical Systems的严格设计
机译:通过协同仿真设计弹性网络物理系统的严格方法
机译:弹性时序约束网络物理系统的共同设计
机译:基于FPGA的高性能嵌入式系统用于网络物理系统中的自适应边缘计算:ARTICo3框架
机译:适用于电力系统的网络物理系统鲁棒和弹性控制设计
机译:计算科学。 EmV非接触式支付仿真器的严格设计与实现。