Cyber-physical systems; Verification; Emergent behavior;
机译:基于模型的工具链,用于验证网络物理系统的空间行为
机译:基于扩展混合系统描述语言的网络物理系统行为建模与安全验证方法
机译:多层体系结构中的上下文生成器和行为转换器,用于网络物理机器人系统的模块化开发过程
机译:在网络 - 物理系统网络的背景下验证网络物理系统行为
机译:虚拟网络物理系统测试平台,用于网络入侵检测和预防系统验证
机译:网络物理系统中控制模块的正式验证
机译:Veriphy:验证网络物理系统模型的验证控制器可执行文件
机译:modelplex:已验证的网络物理系统模型的运行时验证。