cyber physical systems; empirical study; formal methods; runtime verification; simulation; testing; verification and validation;
机译:ModelPlex:已验证验证网络 - 物理系统模型的运行时验证
机译:ENABLE-S3:关于改善自动化网络物理系统的验证和确认
机译:对网络物理系统中验证和验证的最新状态的看法
机译:网络物理系统中的验证与确认:研究挑战和前进方向
机译:具有瞬态监控命令和控制的网络物理嵌入式系统:验证自动防撞系统中安全响应的框架
机译:网络物理系统中控制模块的正式验证
机译:网络物理系统中的验证和验证:研究挑战和前进之路
机译:modelplex:已验证的网络物理系统模型的运行时验证。