机译:开发网络物理系统的框架
School of Computing and Information Sciences Florida International University Miami, FL 33199, USA;
Department of Computer Science Middle Tennessee State University Murfreesboro, TN 37132, USA;
Department of Computer Science and Engineering University of California at Riverside Riverside, CA 92521, USA;
Department of Electrical Engineering and Computer Science Alabama A&M University Huntsville, AL 35762, USA;
Cyber-physical systems; model-driven development; high-level Petri nets; simulation; model checking; runtime verification;
机译:值得信赖的网络物理系统:符合信任和可信度的设计和评估系统框架
机译:值得信赖的网络物理系统:符合信任和可信度的设计和评估系统框架
机译:开发网络物理生产系统的集成产品,过程和制造系统开发参考模型-传感,智能和可持续的微型工厂案例研究
机译:开发贝叶斯网络框架以分析网络物理系统中可观察到的问题的根本原因
机译:具有瞬态监控命令和控制的网络物理嵌入式系统:验证自动防撞系统中安全响应的框架
机译:基于FPGA的高性能嵌入式系统用于网络物理系统中的自适应边缘计算:ARTICo3框架
机译:基于FPGA的高性能嵌入式系统,用于网络 - 物理系统中的自适应边缘计算:Artico3框架