Multi-agent systems; runtime verification; interaction quality; message passing;
机译:系统集成系统基于交互的运行时验证
机译:RML:运行时监控语言:用于运行时验证的系统 - 不可止液DSL
机译:ModelPlex:已验证验证网络 - 物理系统模型的运行时验证
机译:多代理系统交互质量的运行时验证
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:嵌入式实时系统的运行时验证
机译:基于事件B的多智能体系统中交互属性的验证
机译:modelplex:已验证的网络物理系统模型的运行时验证。