VERIFICATION; HYBRID SYSTEMS; MODELS; VALIDATION; CYBER PHYSICAL SYSTEMS; FORMAL METHODS;
机译:ModelPlex:已验证验证网络 - 物理系统模型的运行时验证
机译:网络 - 物理生产系统运行时验证框架的设计与实现
机译:NORTH-网络物理系统的非侵入式观察和运行时验证
机译:ModelPlex:已验证的网络物理系统模型的已验证运行时验证
机译:基于UML和SysML的系统工程设计模型的验证和确认。
机译:嵌入式实时系统的运行时验证
机译:ModelPlex:经过验证的网络物理系统模型的经过验证的运行时验证