Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
Achieving Non-Functional Requirements @ Run time via Dynamic Software Product Lines
2011-01-01 MOLZAM SHARIFLOO, Amir
Verifying Non-Functional Properties of Software Product Lines
2011-01-01 Ghezzi, Carlo; MOLZAM SHARIFLOO, Amir
Quantitative Verification of Non-Functional Requirements with Uncertainty
2011-01-01 Ghezzi, Carlo; 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
Mostrati risultati da 1 a 5 di 5
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile