Model Based System Engineering; Formal methods; Domain-specific modeling; Test generation; Smart manufacturing; Verification;
机译:虚拟物理设计和网络物理系统的验证:工业过程工厂设计
机译:使用虚拟现实优化网络物理系统的设计审查过程
机译:基于网络物理系统集成模型的移动机器人的设计与验证
机译:网络物理系统的虚拟设计和验证:工业过程工厂设计
机译:虚拟网络物理系统测试平台,用于网络入侵检测和预防系统验证
机译:用于环境和生物医学用途的纳米磁粉生产工厂的高档设计工艺开发和经济分析
机译:网络物理系统的虚拟设计和验证:工业过程工厂设计