1
Assuntos:
“...UPPAAL SMC...”
ATAM-4SAS: a method for assessing quality attributes in self-adaptive systems
Dissertação