Automated model-based performance analysis of software product lines under uncertainty.

Paolo Arcaini, Omar Inverso, Catia Trubiani

Browse the full SPLC paper archive.