A framework for quantitative modeling and analysis of highly (re)configurable systems Apre una nuova scheda del browser ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A (2020)
