TY - RPRT TI - A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems AU - Fatma Kachi AU - Chafia Bouanaka AU - Souheir Merkouche PY - 2020 DO - 10.4204/eptcs.329.5 UR - https://arxiv.org/abs/2012.01651 ID - 2012.01651 ER -