Asynchronous distributed systems; Formal methods; Runtime monitoring;
机译:用于发现分布式软件系统运行时软件架构模型的分散方法
机译:具有用于运行时验证的规则的一阶LETL的扩展
机译:重新使用时间描述逻辑ALC-LTL进行运行时验证
机译:分布式系统中LTL规范的分散运行时验证
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:嵌入式实时系统的运行时验证
机译:分布式系统中LTL规范的分散运行时验证