Design patterns; Self-adaptive systems; Refinement; Formal verification; Process calculus; CSP;
机译:EasyModel:自适应软件的基于优化的建模和验证方法
机译:模拟,指定和验证自适应系统实例化MAPE模式
机译:使用可变性建模和设计模式进行自适应系统工程:应用于智能家居
机译:基于改进的自适应系统设计模式的建模与验证
机译:正式建模和设计模式的自动验证。
机译:大规模系统生物学模型中的参数估计:一种并行自适应合作策略
机译:物联网上的自适应系统设计模式概述