ASSL; formal methods; self-adaptive systems;
机译:SimCA:一种控制理论,用于在有保证的情况下处理自适应系统中的不确定性
机译:自适应系统中提高性能和处理运行时不确定性的框架
机译:用于指定自我管理嵌入式系统的ASSL方法
机译:自适应系统中处理不确定性的ASSL方法
机译:TVA:一种需求驱动的机器学习方法,用于解决自适应系统中的战术波动
机译:一种基于信息的方法来处理模糊证据体中各种类型的不确定性
机译:一种处理自适应系统不确定性的assL方法