Towards Formal Modeling of Quality-driven Systems under uncertainty

Souheir Merkouche, Chafia Bouanaka, Fatma Kachi. Towards Formal Modeling of Quality-driven Systems under uncertainty. In 4th International Conference on Advanced Aspects of Software Engineering, ICAASE 2020, Constantine, Algeria, November 28-30, 2020. pages 1-8, IEEE, 2020. [doi]

Abstract

Abstract is missing.