MOLZAM SHARIFLOO, AMIR
MOLZAM SHARIFLOO, AMIR
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.006 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
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