Paolo Arcaini, Omar Inverso, Catia Trubiani. Automated model-based performance analysis of software product lines under uncertainty. In Mohammad Mousavi, Pierre-Yves Schobbens, editors, SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, September 6-11, 2021, Volume A. pages 112, ACM, 2021. [doi]
Abstract is missing.