Tools; Monitoring; Adaptation models; Runtime; Probabilistic logic; Software; Model checking;
机译:自适应系统中运行时定量验证的概率近似
机译:Scen @ rist:使用运行时方案验证自适应系统的方法
机译:RML:运行时监控语言:用于运行时验证的系统 - 不可止液DSL
机译:Lotus @运行时:自适应系统运行时监视和验证的工具
机译:自适应软件的运行时验证和确认框架。
机译:嵌入式实时系统的运行时验证
机译:Lotus @ Runtime:运行时监控和自适应系统验证的工具(工件)