MOLZAM SHARIFLOO, AMIR
MOLZAM SHARIFLOO, AMIR
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.009 secondi).
Achieving Non-Functional Requirements @ Run time via Dynamic Software Product Lines
2011-01-01 MOLZAM SHARIFLOO, Amir
LOVER: Light-weight fOrmal Verification of adaptivE systems at Run time
2012-01-01 MOLZAM SHARIFLOO, Amir; P., Spoletini
Model-Based Verification of Quantitative Non-Functional Properties for Software Product Lines
2012-01-01 Ghezzi, Carlo; MOLZAM SHARIFLOO, Amir
Quantitative Verification of Non-Functional Requirements with Uncertainty
2011-01-01 Ghezzi, Carlo; MOLZAM SHARIFLOO, Amir
Verifying Non-Functional Properties of Software Product Lines
2011-01-01 Ghezzi, Carlo; MOLZAM SHARIFLOO, Amir